EQUIVALENCE AND CONTAINMENT PROBLEMS FOR FORMAL LANGUAGES

被引：10
|
作者：
HUNT, HB
ROSENKRANTZ, DJ
机构：
[1] HARVARD UNIV,AIKEN COMPUT LAB,CAMBRIDGE,MA 02138
[2] GEN ELECT CO,CTR RES & DEV,SCHENECTADY,NY 12345
来源：
JOURNAL OF THE ACM | 1977年 / 24卷 / 03期
关键词：
D O I：
10.1145/322017.322020
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：387 / 396
页数：10
相关论文
共 50 条
  • [41] EMBODIMENT OF FORMAL LANGUAGES
    GREEN, DG
    BRADBURY, RH
    BAINBRIDGE, SJ
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1988, 30 (1-2) : 39 - 44
  • [42] Formal languages and automata
    Farina, Martin Pereira
    Sobrino, Alejandro
    AGORA-PAPELES DE FILOSOFIA, 2023, 43 (01):
  • [43] Analogy and formal languages
    Lepage, Yves
    Electronic Notes in Theoretical Computer Science, 2004, 53 : 180 - 191
  • [44] Factorization in Formal Languages
    Bell, Paul C.
    Reidenbach, Daniel
    Shallit, Jeffrey
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 97 - 107
  • [45] ENUMERATION OF FORMAL LANGUAGES
    Salomaa, Arto
    Domaratzki, Michael
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2006, (89): : 117 - 133
  • [46] HOMOMORPHISMS OF FORMAL LANGUAGES
    HOTZ, G
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1980, 14 (02): : 193 - 208
  • [47] Handbook of Formal Languages
    Piek Vossen
    Journal of Logic, Language and Information, 2005, 14 (4) : 457 - 487
  • [48] FUZZY FORMAL LANGUAGES
    Moraga, Claudio
    AGORA-PAPELES DE FILOSOFIA, 2005, 24 (02): : 75 - 95
  • [49] FORMAL CLICHE LANGUAGES
    SOSINSKII, AB
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1992, (12): : 16 - 19
  • [50] Containment and Equivalence of Active XML Documents
    Zhu, Yan
    2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 590 - 594
12345