On Syntactic Congruences for Omega-Languages and the Minimization of Omega-Automata

被引：0
|
作者：
Maler, O.
Staiger, L.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1994年 / 53期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Approximate Automata for Omega-Regular Languages
    Dimitrova, Rayna
    Finkbeiner, Bernd
    Torfah, Hazem
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 334 - 349
  • [42] On syntactic congruences for ω-languages
    ZIRST, Montbonnot, France
    Theor Comput Sci, 1 (93-112):
  • [43] STAR-FREE OMEGA-LANGUAGES AND 1ST ORDER LOGIC
    PIN, JE
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 56 - 67
  • [44] A UNIFIED APPROACH FOR SHOWING LANGUAGE CONTAINMENT AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA
    CLARKE, EM
    BROWNE, IA
    KURSHAN, RP
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 103 - 116
  • [45] AUTOMATA AND LANGUAGES GENERALIZED TO OMEGA-CONTINUOUS SEMIRINGS
    KUICH, W
    THEORETICAL COMPUTER SCIENCE, 1991, 79 (01) : 137 - 150
  • [46] A UNIFIED APPROACH FOR SHOWING LANGUAGE INCLUSION AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA
    CLARKE, EM
    DRAGHICESCU, IA
    KURSHAN, RP
    INFORMATION PROCESSING LETTERS, 1993, 46 (06) : 301 - 308
  • [47] CONGRUENCES ON A BISIMPLE OMEGA-SEMIGROUP
    MUNN, WD
    REILLY, NR
    PROCEEDINGS OF THE GLASGOW MATHEMATICAL ASSOCIATION, 1966, 7 : 184 - &
  • [48] THE HAUSDORFF KURATOWSKI HIERARCHY OF OMEGA-REGULAR LANGUAGES AND A HIERARCHY OF MULLER AUTOMATA
    BARUA, R
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (02) : 345 - 360
  • [49] The automata theory package omega
    Vöge, J
    Ulbrand, S
    Matz, O
    Buhrke, N
    AUTOMATA IMPLEMENTATION, 1998, 1436 : 228 - 231
  • [50] Omega automata and its classes
    Singh, Natasha
    Kumar, Ajay
    CURRENT SCIENCE, 2018, 115 (11): : 2042 - 2051
12345