Skip to main content
SpringerLink
Log in
Book cover

International Conference on Fundamentals of Computation Theory

FCT 1983: Foundations of Computation Theory pp 394–412Cite as

Modular decomposition of automata (survey)

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 158))

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. Herman, G.T.: The Halting Problem of One State Turing-Machines with n-Dimensional Tape. ZmLG 14 (1968).

    Google Scholar 

  2. Hooper, PH.K.: Some Small, Multi-Tape Universal Turing-Machines. Notices AMS Vol. 10 (1963), 63T359

    Google Scholar 

  3. Kleine Büning, H.: Netzwerke endlicher Automaten für Potentialautomaten. Diplomarbeit, inst. für math. Logik und Grundlagenforschung, Münster 1975

    Google Scholar 

  4. Kleine Büning, H.: Über Probleme bei homogener Parkettierung von Z×Z durch Mealy-Automaten bei normierter Verwendung. Dissertation, Inst. für math. Logik und Grundlagenforschung, Münster 1977

    Google Scholar 

  5. Kleine Büning, H./Ottmann, Th.: Kleine universelle mehrdimensionale Turingmaschinen. EIK 13 (1977)

    Google Scholar 

  6. Kleine Büning, H.: Complexity of Loop-Problems in Normed Networks. In: Börger, E./Hasenjäger, G./Rödding, D. (eds.), Proceedings of the Symposium "Rekursive Kombinatorik", Münster 1983. To appear in LNCS

    Google Scholar 

  7. Kniza, K.-P.: Endliche Automaten mit Präferenzen. Diplomarbeit, Inst. für math. Logik und Grundlagenforschung, Münster 1977

    Google Scholar 

  8. Körber, P./Ottmann, Th.: Simulation endlicher Automaten durch Ketten aus einfachen Bausteinautomaten. EIK 10 (1974)

    Google Scholar 

  9. Körber, P.: Untersuchungen an sequentiellen, durch normierte Konstruktionen gewonnenen Netzwerken endlicher Automaten. Dissertation, Inst. für math. Logik und Grundlagenforschung, Münster 1976

    Google Scholar 

  10. Müller, J.: Netzwerke endlicher Automaten — eine modulare Zerlegungstheorie für Automaten. Ausarbeitung am Inst. für math. Logik und Grundlagenforschung, Münster 1981

    Google Scholar 

  11. Müller, J.: Die mathematische Behandlung von Präferenz und Tausch unter Zugrundelegung des Automatenbegriffes. Dissertation, Inst. für math. Logik und Grundlagenforschung, Münster 1981

    Google Scholar 

  12. Nachtkamp, H.H./Rödding, W.: On the Aggregation of Preferences to Form a Preference of a System. Nav. Res. Log. Quaterly 25 (1978)

    Google Scholar 

  13. Ottmann, Th.: Über Möglichkeiten zur Simulation endlicher Automaten durch eine Art sequentieller Netzwerke aus einfachen Bausteinen. ZmEG 19 (1973)

    Google Scholar 

  14. Ottmann, Th.: Arithmetische Prädikate über einem Bereich endlicher Automaten. Arch. math. Log. 16 (1974)

    Google Scholar 

  15. Ottmann, Th.: Eine universelle Turingmaschine mit zweidimensionalem Band, 7 Buchstaben und 2 Zuständen. EIK 11 (1975)

    Google Scholar 

  16. Priese, L./Rödding, D.: A Combinatorial Approach to Self-Correction. J. Cybern. 4 (1974)

    Google Scholar 

  17. Priese, L.: On the Minimal Complexity of Component-Machines for Self-Correcting Networks. J. Cybern. 5 (1975)

    Google Scholar 

  18. Priese, L.: On a simple Combinatorial Structure Sufficient for Supplying Nontrivial Self-Reproduction. J. Cybern. 6 (1976)

    Google Scholar 

  19. Priese, L.: Reversible Automaten und einfache universelle 2-dimensionale Thue-Systeme. ZmLG 22 (1976)

    Google Scholar 

  20. Priese, L.: A Note on Asynchronous Cellular Automata. JCSS 17 (1978)

    Google Scholar 

  21. Priese, L.: Towards a Precise Characterization of the Complexity of Universal and Nonuniversal Turing Machines. SIAM J. Comput. (1979)

    Google Scholar 

  22. Priese, L.: Über ein 2-dimensionales Thue-System mit zwei Regeln und unentscheidbarem Wortproblem. ZmLG 25 (1979)

    Google Scholar 

  23. Priese, L.: On Stable Organisations of Normed Networks. In: Pichler, F. (ed.), Progress in Cybernetics and Systems Research. Hemisphere Publ. Comp. (1979)

    Google Scholar 

  24. Priese, L.: Automata and Concurrency. To appear in Theoretical Computer Science

    Google Scholar 

  25. Priese, L./Rödding, D./Schätz, R./Brüggemann, A.: Modular Decomposition of Automata. In: Börger, E./Hasenjäger, G./Rödding, D. (eds.), Proceedings of the Symposium "Rekursive Kombinatorik", Münster 1983. To appear in LNCS

    Google Scholar 

  26. Rödding, D./Rödding, W.: Networks of Finite Automata. In: Pichler, F. (ed.), Progress in Cybernetics and Systems Research. Hemisphere Publ. Comp. (1979)

    Google Scholar 

  27. Rödding, D.: Networks of Finite Automata I. In: Priese, L. (ed.), Report on the 1st GTI-Workshop, Universität Paderborn, Bericht Nr. 13, Reihe Theoretische Informatik (1983)

    Google Scholar 

  28. Schätz, R.: Basissatz für Mealy-Automaten bei schneller, sequentieller Simulation, Arbeitspapier Nr. 3, Inst. für math. Logik und Grundlagenforschung, Münster (1982)

    Google Scholar 

  29. Vobl, R.: Komplexitätsuntersuchungen an Basisdarstellungen endlicher Automaten. Diplomarbeit, Inst. f. math. Logik und Grundlagenforschung, Münster 1980

    Google Scholar 

  30. Wagner, K.: Universelle Turingmaschinen mit n-dimensionalem Band. EIK 9 (1973)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für mathematische, Logik und Grundlagenforschung, D-4400, Münster

    D. Rödding

Authors
  1. D. Rödding
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marek Karpinski

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rödding, D. (1983). Modular decomposition of automata (survey). In: Karpinski, M. (eds) Foundations of Computation Theory. FCT 1983. Lecture Notes in Computer Science, vol 158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12689-9_121

Download citation

  • DOI: https://doi.org/10.1007/3-540-12689-9_121

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12689-8

  • Online ISBN: 978-3-540-38682-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation