Finite branching automata: automata theory motivated by problem solving

  • Ivan M. Havel
Automata Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    NILSSON, N.J. Problem solving methods in artificial intelligence. McGraw-Hill Book Co., New York 1971.Google Scholar
  2. [2]
    ŠTĚPÁNKOVÁ, O.; HAVEL, I.M. Some results concerning the situation calculus. Proc. Symp. MFCS'73, High Tatras, 1973, pp.321–326.Google Scholar
  3. [3]
    FIKES, R.E.; HART, P.E.; NILSSON, N.J. Some new directions in robot problem solving. In: Machine Intelligence 7 (B.Meltzer and D.Michie, ed.), Edinburgh University Press, 1972.Google Scholar
  4. [4]
    HAVEL, I.M. Finite branching automata. Kybernetika 10(1974), pp. 281–302.Google Scholar
  5. [5]
    KARPIŃSKI, M. (research in progress).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Ivan M. Havel
    • 1
  1. 1.Institute of Information Theory and Automation Czechoslovak Academy of SciencesPragueCzechoslovakia

Personalised recommendations