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 条

[11] PROJECTION LEMMAS FOR OMEGA-LANGUAGES
STAIGER, L
THEORETICAL COMPUTER SCIENCE, 1984, 32 (03) : 331 - 337
[12] SEQUENTIAL MAPPINGS OF OMEGA-LANGUAGES
STAIGER, L
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1987, 21 (02): : 147 - 173
[13] BUCHI LANGUAGES AND LOCAL OMEGA-LANGUAGES
FINKEL, O
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 309 (20): : 991 - 994
[14] BRZOZOWSKI HIERARCHY OF OMEGA-LANGUAGES
TAKAHASHI, M
THEORETICAL COMPUTER SCIENCE, 1987, 49 (01) : 1 - 12
[15] Literal shuffle on omega-languages
Moriya, T
Yamasaki, H
INFORMATION PROCESSING LETTERS, 1996, 59 (03) : 165 - 168
[16] FINITELY GENERATED OMEGA-LANGUAGES
LATTEUX, M
TIMMERMAN, E
INFORMATION PROCESSING LETTERS, 1986, 23 (04) : 171 - 175
[17] A COMBINATORIAL APPROACH TO THE THEORY OF OMEGA-AUTOMATA
THOMAS, W
INFORMATION AND CONTROL, 1981, 48 (03): : 261 - 283
[18] ON SIMULTANEOUSLY DETERMINIZING AND COMPLEMENTING OMEGA-AUTOMATA
EMERSON, EA
JUTLA, CS
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 333 - 342
[19] The Effect of Tossing Coins in Omega-Automata
Baier, Christel
Bertrand, Nathalie
Groesser, Marcus
CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 15 - +
[20] INTERROGATIVE COMPLEXITY OF OMEGA-LANGUAGES RECOGNITION
ALBERTS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 152 - 157