Finite branching automata
Kybernetika (1974)
- Volume: 10, Issue: 4, page (281)-302
- ISSN: 0023-5954
Access Full Article
top
How to cite
topHavel, Ivan M.. "Finite branching automata." Kybernetika 10.4 (1974): (281)-302. <http://eudml.org/doc/28845>.
@article{Havel1974,
author = {Havel, Ivan M.},
journal = {Kybernetika},
language = {eng},
number = {4},
pages = {(281)-302},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Finite branching automata},
url = {http://eudml.org/doc/28845},
volume = {10},
year = {1974},
}
TY - JOUR
AU - Havel, Ivan M.
TI - Finite branching automata
JO - Kybernetika
PY - 1974
PB - Institute of Information Theory and Automation AS CR
VL - 10
IS - 4
SP - (281)
EP - 302
LA - eng
UR - http://eudml.org/doc/28845
ER -
References
top- R. E. Fikes P. E. Hart N. J. Nilsson, Some new directions in robot problem solving, In: Machine Intelligence 7 (B. Meltzer, D. Michie, eds.). University Press, Edinburgh 1972. (1972)
- 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. (1971)
- I. M. Havel, The theory of regular events I, II, Kybernetika 5 (1969), 400-419; 520-544. (1969) MR0256787
- N. J. Nilsson, Problem-solving methods in artificial intelligence, McGraw-Hill, New York 1971. (1971)
- A. Salomaa, Theory of automata, Pergamon Press, Oxford 1969. (1969) Zbl0193.32901MR0262021
- 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. (Cf. also Proc. Symp. MFCS, High Tatras 1973.) (1973) MR0451928
Citations in EuDML Documents
top- Václav Benda, Kamila Bendová, Recognizable filters and ideals
- Gheorghe Păun, Two infinite hierarchies of languages defined by branching grammars
- Olga Štěpánková, Havel, Ivan M., Incidental and state-dependent phenomena in robot problem solving
- Václav Benda, Kamila Bendová, On families recognizable by finite branching automata
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.