Skip to main content
SpringerLink
Log in

Empirical logic of finite automata: Microstatements versus macrostatements

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

We compare two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second, the logic of simulation (logic of macrostatements), deals with ensembles of automata.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Brauer, W. (1984).Automatentheorie, Teubner, Stuttgart.

    Google Scholar 

  • Conway, J. H. (1971).Regular Algebras and Finite Machines, Clowes, London.

    Google Scholar 

  • Finkelstein, D., and Finkelstein, S. R. (1983). Computational complementarity,International Journal of Theoretical Physics,22, 753.

    Google Scholar 

  • Grib, A. A., and Zapatrin, R. R. (1990). Automata simulating quantum logics,International Journal of Theoretical Physics,29, 113.

    Google Scholar 

  • Grib, A. A., and Zapatrin, R. R. (1992). Macroscopic realizations of quantum logics,International Journal of Theoretical Physics,31, 1669–1687.

    Google Scholar 

  • Moore, E. F. (1956). Gedankenexperiments on sequential machines, inAutomata Studies, C. E. Shannon and J. McCarthy, eds., Princeton University Press, Princeton, New Jersey, pp. 129–153.

    Google Scholar 

  • Schaller, M., and Svozil, K. (1994). Partition logics of automata,Nuovo Cimento,109B, 167–176.

    Google Scholar 

  • Schaller, M., and Svozil, K. (1995). Automaton partition logic versus quantum logic.International Journal of Theoretical Physics,34, 1741–1750.

    Google Scholar 

  • Schaller, M., and Svozil, K. (1996). Automaton logic,International Journal of Theoretical Physics,35, 911–940.

    Google Scholar 

  • Svozil, K. (1993).Randomness and Undecidability in Physics, World Scientific, Singapore.

    Google Scholar 

  • Zapatrin, R. R. (1995). Quantum logics without negation,Helvetica Physica Acta,67, 188.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Theoretische Physik, University of Technology Vienna, 10/136, A-1040, Vienna, Austria

    K. Svozil

  2. Department of Mathematics, SPb UEF, Griboyedova, 30-32, 191023, St. Petersburg, Russia

    R. R. Zapatrin

Authors
  1. K. Svozil
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. R. Zapatrin
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Svozil, K., Zapatrin, R.R. Empirical logic of finite automata: Microstatements versus macrostatements. Int J Theor Phys 35, 1541–1548 (1996). https://doi.org/10.1007/BF02084959

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02084959

Keywords

Search

Navigation