×

zbMATH — the first resource for mathematics

Finite branching automata. (English) Zbl 0287.94050

MSC:
68Q45 Formal languages and automata
68T10 Pattern recognition, speech recognition
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: EuDML
References:
[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
[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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.