Empirical logic of finite automata: Microstatements versus macrostatements

International Journal of Theoretical Physics

Volumn 35, Issue 7, 1996, Pages 1541-1548

  Svozil, K ^a   Zapatrin, R R ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b SPb UEF ^*  (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030519674     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02084959     Document Type: Article

References (11)

1. Brauer, W. (1984). Automatentheorie, Teubner, Stuttgart.
2. Conway, J. H. (1971). Regular Algebras and Finite Machines, Clowes, London.
3. Finkelstein, D., and Finkelstein, S. R. (1983). Computational complementarity, International Journal of Theoretical Physics, 22, 753.
4. Grib, A. A., and Zapatrin, R. R. (1990). Automata simulating quantum logics, International Journal of Theoretical Physics, 29, 113.
5. Grib, A. A., and Zapatrin, R. R. (1992). Macroscopic realizations of quantum logics, International Journal of Theoretical Physics, 31, 1669-1687.
6. Moore, E. F. (1956). Gedankenexperiments on sequential machines, in Automata Studies, C. E. Shannon and J. McCarthy, eds., Princeton University Press, Princeton, New Jersey, pp. 129-153.
7. Schaller, M., and Svozil, K. (1994). Partition logics of automata, Nuovo Cimento, 109B, 167-176.
8. Schaller, M., and Svozil, K. (1995). Automaton partition logic versus quantum logic, International Journal of Theoretical Physics, 34, 1741-1750.
9. Schaller, M., and Svozil, K. (1996). Automaton logic, International Journal of Theoretical Physics, 35, 911-940.
10. Svozil, K. (1993). Randomness and Undecidability in Physics, World Scientific, Singapore.
11. Zapatrin, R. R. (1995). Quantum logics without negation, Helvetica Physica Acta, 67, 188.