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 条
  • [31] COMPUTING RELATIVE NORMAL FORMS IN REGULAR TREE LANGUAGES
    Koller, Alexander
    Thater, Stefan
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 177 - 191
  • [32] The full quotient and its closure property for regular languages
    Knapik, T
    Payet, E
    INFORMATION PROCESSING LETTERS, 1998, 65 (02) : 57 - 62
  • [33] COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES
    THOMAS, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 690 - 713
  • [34] Generating, Sampling and Counting Subclasses of Regular Tree Languages
    Antonopoulos, Timos
    Geerts, Floris
    Martens, Wim
    Neven, Frank
    THEORY OF COMPUTING SYSTEMS, 2013, 52 (03) : 542 - 585
  • [35] Computing the relative entropy between regular tree languages
    Calera-Rubio, J
    Carrasco, RC
    INFORMATION PROCESSING LETTERS, 1998, 68 (06) : 283 - 289
  • [36] Top-down tree edit-distance of regular tree languages
    Ko, Sang-Ki
    Han, Yo-Sub
    Salomaa, Kai
    INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS, 2019, 11 (01) : 2 - 10
  • [37] Top-Down Tree Edit-Distance of Regular Tree Languages
    Ko, Sang-Ki
    Han, Yo-Sub
    Salomaa, Kai
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 466 - 477
  • [38] Top-down tree edit-distance of regular tree languages
    Sang-Ki Ko
    Yo-Sub Han
    Kai Salomaa
    International Journal of Advances in Engineering Sciences and Applied Mathematics, 2019, 11 : 2 - 10
  • [39] Regular languages that can be approximated by testing subword occurrences
    Sin'ya R.
    Yamaguchi Y.
    Nakamura Y.
    Computer Software, 2023, 40 (02) : 49 - 60
  • [40] Deciding Top-Down Determinism of Regular Tree Languages
    Leupold, Peter
    Maneth, Sebastian
    FUNDAMENTALS OF COMPUTATION THEORY, FCT 2021, 2021, 12867 : 341 - 353