TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON

被引：281

作者：

MCNAUGHTON, R

机构：

来源：

INFORMATION AND CONTROL | 1966年 / 9卷 / 05期

关键词：

D O I：

10.1016/S0019-9958(66)80013-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：521 / +

页数：1

相关论文

共 5 条

[1] BUCHI JR, 1962, 1960 P INT C LOG MET, P1
[2] Kleene SC., 1956, Automata Stud, V34, P3
[3] MULLER DE, 1963, 4TH P IEEE ANN S SWI, P3
[4] Myhill J., 1957, 57624 WRIGHT AIR DEV, V57-624
[5] SHANNON CE, 1956, AUTOMATA STUDIES ED, P3