Property Testing of Regular Tree Languages

被引:0
|
作者
Frédéric Magniez
Michel de Rougemont
机构
[1] Univ. Paris-Sud,LRI
[2] CNRS,LRI
[3] Univ. Paris 2,undefined
来源
Algorithmica | 2007年 / 49卷
关键词
Property testing; Edit distance with moves; Regular trees languages;
D O I
暂无
中图分类号
学科分类号
摘要
We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathsf {NP}$\end{document} -complete on ordered trees.
引用
收藏
页码:127 / 146
页数:19
相关论文
共 50 条
  • [21] On regular tree languages and deterministic pushdown automata
    Janousek, Jan
    Melichar, Borivoj
    ACTA INFORMATICA, 2009, 46 (07) : 533 - 547
  • [22] Regular Tree Languages Definable in FO and in FOmod
    Benedikt, Michael
    Segoufin, Luc
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009, 11 (01)
  • [23] Axiomatizing the equational theory of regular tree languages
    Esik, Z.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (02): : 189 - 213
  • [24] A randomised inference algorithm for regular tree languages
    Hogberg, Johanna
    NATURAL LANGUAGE ENGINEERING, 2011, 17 : 203 - 219
  • [25] State complexity of the concatenation of regular tree languages
    Piao, Xiaoxue
    Salomaa, Kai
    THEORETICAL COMPUTER SCIENCE, 2012, 429 : 273 - 281
  • [26] Regular tree languages as an abstract domain in program specialisation
    Gallagher, John P.
    Peralta, Julio C.
    Higher-Order and Symbolic Computation, 2001, 14 (2-3) : 143 - 172
  • [27] REGULAR TREE LANGUAGES IN LOW LEVELS OF THE WADGE HIERARCHY
    Bojanczyk, Mikolaj
    Cavallari, Filippo
    Place, Thomas
    Skrzypczak, Michal
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (03)
  • [28] Regular geodesic languages and the falsification by fellow traveler property
    Elder, Murray
    ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2005, 5 : 129 - 134
  • [29] On a structural property in the state complexity of projected regular languages
    Jiraskova, Galina
    Masopust, Tomas
    THEORETICAL COMPUTER SCIENCE, 2012, 449 : 93 - 105
  • [30] Generating, Sampling and Counting Subclasses of Regular Tree Languages
    Timos Antonopoulos
    Floris Geerts
    Wim Martens
    Frank Neven
    Theory of Computing Systems, 2013, 52 : 542 - 585