Finite branching automata. (English) Zbl 0287.94050


68Q45 Formal languages and automata
68T10 Pattern recognition, speech recognition
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Full Text: EuDML


[1] R. E. Fikes P. E. Hart N. J. Nilsson: Some new directions in robot problem solving. Machine Intelligence 7 (B. Meltzer, D. Michie. University Press, Edinburgh 1972.
[2] R. E. Fikes N. J. Nilsson: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971), 189-208. · Zbl 0234.68036 · doi:10.1016/0004-3702(71)90010-5
[3] I. M. Havel: The theory of regular events I, II. Kybernetika 5 (1969), 400-419; 520-544. · Zbl 0181.31102
[4] N. J. Nilsson: Problem-solving methods in artificial intelligence. McGraw-Hill, New York 1971.
[5] A. Salomaa: Theory of automata. Pergamon Press, Oxford 1969. · Zbl 0193.32901
[6] O. Štěpánková I. M. Havel: Image space and its relationship to situation calculus. Tech. Rpt. No 9/1973, Institute of Computation Technique, Prague.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.