THEORY OF OMEGA-LANGUAGES .1. CHARACTERIZATIONS OF OMEGA-CONTEXT-FREE LANGUAGES

被引：81

作者：

COHEN, RS

GOLD, AY

机构：

[1] TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL

[2] TECHNION ISRAEL INST TECHNOL,FAC MATH,HAIFA,ISRAEL

来源：

关键词：

D O I：

10.1016/S0022-0000(77)80004-4

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：169 / 184

页数：16

共 22 条

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

BUCHI, JR .

[2] DEFINABILITY IN MONADIC SECOND-ORDER THEORY OF SUCCESSOR [J].

BUCHI, JR ;

LANDWEBE.LH .

[3]

BUCHI JR, 1960, INT C LOGIC METHODOL

[4] THEORIES OF AUTOMATA ON OMEGA-TAPES - SIMPLIFIED APPROACH [J].

CHOUEKA, Y .

[5]

CHOUEKA Y, 1970, THESIS ISRAEL HEBREW

[6]

COHEN RS, 1975, COMPLEXITY OMEGA COM

[7]

COHEN RS, 1974, NOTICES AM MATH SOC, V21, P7

[8]

COHEN RS, 1977, COMPUT SYSTEM SCI, V15, P185

[9]

COHEN RS, 1976, TR76 COMP SCI DEP TE

[10]

Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA