TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON

被引：284
作者：
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
1