| Title:
|
A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements (English) |
| Author:
|
Havránek, Tomáš |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
10 |
| Issue:
|
1 |
| Year:
|
1974 |
| Pages:
|
(13)-43 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02B05 |
| MSC:
|
03B05 |
| MSC:
|
68Q45 |
| MSC:
|
94A35 |
| MSC:
|
94C10 |
| idZBL:
|
Zbl 0273.02008 |
| idMR:
|
MR0344030 |
| . |
| Date available:
|
2009-09-24T16:37:19Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125748 |
| . |
| Reference:
|
[1] T. L. Booth: Sequential machines and automata theory.Wiley, London 1967. Zbl 0165.02303 |
| Reference:
|
[2] A. W. Burks J. B. Wright: Theory of logical nets.Proceedings of I.R.E. 41 (1953), 10, 1357-1365. MR 0062651 |
| Reference:
|
[3] A. Grzegorczyk: Outline of mathematical logic.(in Polish). 2nd ed., PWN, Warszawa 1969. MR 0655787 |
| Reference:
|
[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. |
| Reference:
|
[5] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata.North Holland, Amsterdam 1965. MR 0186454 |
| Reference:
|
[6] V. I. Levin: Probabilistic analysis of unreliable automata.(in Russian). Zinatne, Riga 1969. |
| Reference:
|
[7] D. A. Pospelov: Probabilistic automata.(in Russian). Energiya, Moskva 1970. MR 0416806 |
| Reference:
|
[8] M. O. Rabin: Probabilistic automata.Information and control 6 (1963), 3, 230-245. |
| Reference:
|
[9] T. Havránek: On a probabilistic extension of propositional calculus.(in Czech). Acta universitatis Carolinae, ser. Logica 1 (in print). |
| Reference:
|
[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. |
| Reference:
|
[11] T. Havránek: The computation of characteristic vectors of LP-expressions.To appear in Kybernetika. |
| Reference:
|
[12] T. Havránek: The application of logical-probabilistic expressions to the realization of stochastical automata.To appear in Kybernetika. MR 0347494 |
| . |
