Undecidability of language equivalence for generalized regular expressions

被引：0
|
作者：
Hirshfeld, Yoram [1 ]
机构：
[1] Tel Aviv Univ, Tel Aviv, Israel
来源：
Fundamenta Informaticae | 1996年 / 26卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
11
引用
收藏
页码：95 / 102
相关论文
共 50 条
  • [41] Towards a Normal Form and a Query Language for Extended Relations Defined by Regular Expressions
    Benczur, Andras
    Szabo, Gyula I.
    JOURNAL OF DATABASE MANAGEMENT, 2016, 27 (02) : 27 - 48
  • [42] Undecidability Of Uzawa Equivalence Theorem And Cantor's Diagonal Argument
    Tanaka, Yasuhito
    APPLIED MATHEMATICS E-NOTES, 2009, 9 : 1 - 9
  • [43] Synchronized regular expressions
    Della Penna, G
    Intrigila, B
    Tronci, E
    Zilli, MV
    ACTA INFORMATICA, 2003, 39 (01) : 31 - 70
  • [44] Forkable Regular Expressions
    Sulzmann, Martin
    Thiemann, Peter
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 194 - 206
  • [45] Regular Expressions on the Web
    Hodovan, Renata
    Herczeg, Zoltan
    Kiss, Akos
    12TH IEEE INTERNATIONAL SYMPOSIUM ON WEB SYSTEMS EVOLUTION (WSE 2010), 2010, : 29 - 32
  • [46] Timed regular expressions
    Asarin, E
    Caspi, P
    Maler, O
    JOURNAL OF THE ACM, 2002, 49 (02) : 172 - 206
  • [47] A Play on Regular Expressions
    Fischer, Sebastian
    Huch, Frank
    Wilke, Thomas
    ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 357 - 368
  • [48] DERIVATIVES OF REGULAR EXPRESSIONS
    BRZOZOWSKI, JA
    JOURNAL OF THE ACM, 1964, 11 (04) : 481 - &
  • [49] INTERSECTION OF -ω-REGULAR EXPRESSIONS
    Chebotarev, A. N.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2021, 57 (05) : 676 - 684
  • [50] Explanations for Regular Expressions
    Erwig, Martin
    Gopinath, Rahul
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 394 - 408
12345