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 条
  • [1] Property testing of regular tree languages
    Magniez, Frederic
    de Rougemont, Michel
    ALGORITHMICA, 2007, 49 (02) : 127 - 146
  • [2] Property testing of regular tree languages
    Magniez, F
    de Rougemont, M
    AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 932 - 944
  • [3] Learning of Regular ω-Tree Languages
    Jayasrirani, M.
    Begam, M. H.
    Thomas, D. G.
    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, 5278 : 295 - +
  • [4] A CLOSURE PROPERTY OF REGULAR LANGUAGES
    KRETSCHMER, T
    THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) : 283 - 287
  • [5] Testing the Equivalence of Regular Languages
    Almeida, Marco
    Moreira, Nelma
    Reis, Rogerio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 47 - 57
  • [6] On topological completeness of regular tree languages
    Michalewski, H. (H.Michalewski@mimuw.edu.pl), 1600, Springer Verlag (7230 LNCS):
  • [7] Regular tree languages definable in FO
    Benedikt, M
    Segoufin, L
    STACS 2005, PROCEEDINGS, 2005, 3404 : 327 - 339
  • [8] Regular tree languages and quasi orders
    Petkovic, Tatjana
    ACTA CYBERNETICA, 2006, 17 (04): : 811 - 823
  • [9] Algebraic classifications of regular tree languages
    Steinby, M
    STRUCTURAL THEORY OF AUTOMATA, SEMIGROUPS, AND UNIVERSAL ALGEBRA, 2005, 207 : 381 - 432
  • [10] Stochastic Inference of Regular Tree Languages
    Rafael C. Carrasco
    Jose Oncina
    Jorge Calera-Rubio
    Machine Learning, 2001, 44 : 185 - 197