Article
Full entry |
PDF
(1.8 MB)
Feedback
PDF
(1.8 MB)
Feedback
References:
[1] T. L. Booth: Sequential machines and automata theory. Wiley, London 1967. Zbl 0165.02303
[2] A. W. Burks J. B. Wright: Theory of logical nets. Proceedings of I.R.E. 41 (1953), 10, 1357-1365. MR 0062651
[3] A. Grzegorczyk: Outline of mathematical logic. (in Polish). 2nd ed., PWN, Warszawa 1969. MR 0655787
[4] R. Knast: On some possibility of the structural synthesis of a probabilistic automaton. (in Polish). Prace Komisji budowy maszyn i elektrotechniki, torn 1.5, Poznań 1967.
[5] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata. North Holland, Amsterdam 1965. MR 0186454
[6] V. I. Levin: Probabilistic analysis of unreliable automata. (in Russian). Zinatne, Riga 1969.
[7] D. A. Pospelov: Probabilistic automata. (in Russian). Energiya, Moskva 1970. MR 0416806
[8] M. O. Rabin: Probabilistic automata. Information and control 6 (1963), 3, 230-245.
[9] T. Havránek: On a probabilistic extension of propositional calculus. (in Czech). Acta universitatis Carolinae, ser. Logica 1 (in print).
[10] T. Havránek: A probabilistic extension of propositional calculus for purposes of structural theory of stochastical automata. (in Czech). Theses on the Department of Mathematical Statistic, Charles University, Prague 1972.
[11] T. Havránek: The computation of characteristic vectors of LP-expressions. To appear in Kybernetika.
[12] T. Havránek: The application of logical-probabilistic expressions to the realization of stochastical automata. To appear in Kybernetika. MR 0347494
Search
Partner of
