The computation of characteristic vectors of logical-probabilistic expressions. (English) Zbl 0281.02018


03B05 Classical propositional logic
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
68Q45 Formal languages and automata
Full Text: EuDML


[1] A. W. Burks J. B. Wright: Theory of logical nets. Proc. of I.R.E., 41 (1953), 10, 1357-1365. · Zbl 0148.25305
[2] T. Havránek: A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements. Kybernetika 10 (1974), 1, 13-43.
[3] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata. North-Holland, Amsterdam 1965. · Zbl 0128.01401
[4] T. Havránek: The application of logical-probabilistic expressions to the realization of probabilistic automata. To appear in Kybernetika. · Zbl 0216.24103
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.