THEORIES OF AUTOMATA ON OMEGA-TAPES - SIMPLIFIED APPROACH

被引：126

作者：

CHOUEKA, Y ^{[1
]}

机构：

[1] BAR-ILAN UNIV,MATH DEPT,RAMAT GAN,ISRAEL

来源：

关键词：

D O I：

10.1016/S0022-0000(74)80051-6

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：117 / 141

页数：25

共 11 条

[1]

Buchi J R, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[2]

Buchi J.R., 1962, 1960 P INT C LOG MET, P1

[3] DECISION METHODS IN THEORY OF ORDINALS [J].

BUCHI, JR .

[4]

CHOUEKA Y, 1970, THESIS HEBREW U

[5]

Elgot C.C., 1961, T AM MATH SOC, V98, P21, DOI [10.2307/1993511, DOI 10.1090/S0002-9947-1961-0139530-9]

[6] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON [J].

MCNAUGHTON, R .

INFORMATION AND CONTROL, 1966, 9 (05) :521-+

[7]

MCNAUGHTON R, 1960, T IRE, VEC9, P39

[8]

MULLER DE, 1963, 4 P ANN S I EL EL EN

[9]

RABIN M, 1972, REGIONAL C M

RABIN, MO .