EQUIVALENCE OF INFINITE BEHAVIOR OF FINITE AUTOMATA

被引：2

作者：

ALAIWAN, H

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(84)90037-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：297 / 306

页数：10

相关论文

共 5 条

[1] Buchi J. Richard, 1962, LOGIC METHODOLOGY PH, p1S11
[2] DARONDEAU P, 1983, IRISA199 REPT
[3] Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
[4] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON
MCNAUGHTON, R
[J]. INFORMATION AND CONTROL, 1966, 9 (05): : 521 - +
[5] RABIN M, 1959, IBM J RES DEV, P114