Skip to main content
SpringerLink
Log in

Models of deterministic systems

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

Abstract

The definition of “model of a system” in terms of a homomorphism of the states of the system is evaluated and an alternative definition in terms of sequence generators is proposed. Sequence generators are finite graphs whose points represent complete states of a system. Sequence generators include finite automata and other information processing systems as special cases. It is shown how to define models in terms of a projection operator which applies to any sequence generator which has an output projection and yields a new sequence generator. A model produced by the projection operator is embedded in the system it models. The notion of embedding is discussed informally and some questions raised about the relations of deterministic, indeterministic, and probabilistic models and systems.

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

  1. David Bohm,Quantum Theory, Prentice-Hall, New York, 1951.

    Google Scholar 

  2. David Bohm,Causality and Chance in Modern Physics, Routledge & Kegan Paul, London, 1957.

    Google Scholar 

  3. David Bohm, Quantum theory in terms of “hidden” variables I,Physical Review 85 (1952), 166–179.

    Google Scholar 

  4. David Bohm, A suggested interpretation of quantum theory in terms of “hidden” variables II,Physical Review 85 (1952), 180–193.

    Google Scholar 

  5. Jeffery Bub, What is a hidden variable theory of quantum phenomena?International Journal of Theoretical Physics 2 (1969), 101–123.

    Google Scholar 

  6. Arthur W. Burks andJesse B. Wright, Sequence generators and digital computers,Recursive Function Theory, pp. 139–199, American Mathematical Society, Providence, 1962.

    Google Scholar 

  7. Arthur W. Burks andJesse B. Wright, Sequence generators, graphs, and formal languages,Information and Control 5 (1962), 204–212.

    Google Scholar 

  8. Albert Einstein,Albert Einstein: Philosopher Scientist (edited by P. A. Schillp). Library of Living Philosophers, Evanston, Illinois, 1949.

    Google Scholar 

  9. Stanley P. Gudder, On hidden-variable theories,J. Mathematical Physics 11 (1970), 431–436.

    Google Scholar 

  10. Simon Kochen andE. P. Specker, The problem of hidden variables in quantum mechanics,J. Mathematics and Mechanics 17 (1967), 59–87.

    Google Scholar 

  11. John von Neumann,Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, 1955 (original German edition, 1932).

    Google Scholar 

  12. Bernard Zeigler, Towards a formal theory of modeling and simulation: structurepreserving morphisms,J. Assoc. Comput. Mach. 19 (1972), 742–764.

    Google Scholar 

  13. Bernard Zeigler andRoger Weinberg, System-theoretic analysis of models: computer simulation of a living cell,J. Theoret. Biol. 29 (1907), 35–36.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Communication Sciences, The University of Michigan, 48104, Ann Arbor, Michigan, USA

    Arthur W. Burks

Authors
  1. Arthur W. Burks
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported by the National Science Foundation under Grant No. GJ-29989X. I wish to thank Andrew Lugg for helpful suggestions.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Burks, A.W. Models of deterministic systems. Math. Systems Theory 8, 295–308 (1974). https://doi.org/10.1007/BF01780577

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation