[1] M. A. Aйзерман Л. A. Гусев Л. И. Розоноэр И. M. Смирнова A. A. Taль: Логика, автоматы, алгорифмы. Москва 1963.
[2] A. W. Burks:
The logic of fixed and growing automata. Internat. Symp. on the Theory of Switching, vol. 29 (1959).
MR 0114697 |
Zbl 0154.00707