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 条
  • [21] On Checking Observability of Formal Languages in DES Control Problems*
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1567 - 1572
  • [22] Word problems of groups: Formal languages, characterizations and decidability
    Jones, Sam A. M.
    Thomas, Richard M.
    THEORETICAL COMPUTER SCIENCE, 2018, 750 : 2 - 23
  • [23] Optimal algorithms for the coverability, the subword, the containment, and the equivalence problems for commutative semigroups
    Koppenhagen, U
    Mayr, EW
    INFORMATION AND COMPUTATION, 2000, 158 (02) : 98 - 124
  • [24] Formal languages for integer programming modeling of shift scheduling problems
    Cote, Marie-Claude
    Gendron, Bernard
    Quimper, Claude-Guy
    Rousseau, Louis-Martin
    CONSTRAINTS, 2011, 16 (01) : 54 - 76
  • [25] Formal languages for integer programming modeling of shift scheduling problems
    Marie-Claude Côté
    Bernard Gendron
    Claude-Guy Quimper
    Louis-Martin Rousseau
    Constraints, 2011, 16 : 54 - 76
  • [26] Formal Languages, Deep Learning, Topology and Algebraic Word Problems
    Ackerman, Joshua
    Cybenko, George
    2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 134 - 141
  • [27] ON THE EQUIVALENCE AND CONTAINMENT PROBLEMS FOR UNAMBIGUOUS REGULAR EXPRESSIONS, REGULAR GRAMMARS AND FINITE AUTOMATA
    STEARNS, RE
    HUNT, HB
    SIAM JOURNAL ON COMPUTING, 1985, 14 (03) : 598 - 611
  • [28] Containment and equivalence for a fragment of XPath
    Miklau, G
    Suciu, D
    JOURNAL OF THE ACM, 2004, 51 (01) : 2 - 45
  • [29] THE EQUIVALENCE OF MAPPINGS ON LANGUAGES
    KARHUMAKI, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 281 : 26 - 38
  • [30] Formal Equivalence Analysis
    Valverde-Albacete, Francisco J.
    Pelaez-Moreno, Carmen
    Cordero, Pablo
    Ojeda-Aciego, Manuel
    PROCEEDINGS OF THE 11TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT 2019), 2019, 1 : 797 - 804
12345