|
This article is cited in 14 scientific papers (total in 14 papers)
MATHEMATICS
Algorithmic unsolvability of the problem of completeness recognition for finite automata
M. I. Kratko Institute of Mathematics with Computing Center, Siberian Branch of USSR Academy of Sciences, Novosibirsk
Citation:
M. I. Kratko, “Algorithmic unsolvability of the problem of completeness recognition for finite automata”, Dokl. Akad. Nauk SSSR, 155:1 (1964), 35–37
Linking options:
https://www.mathnet.ru/eng/dan29249 https://www.mathnet.ru/eng/dan/v155/i1/p35
|
|