Advertisement

Modular decomposition of automata (survey)

  • D. Rödding
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)

Keywords

Turing Machine Finite Automaton Normed Network Cellular Space Register Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. [He 68]
    Herman, G.T.: The Halting Problem of One State Turing-Machines with n-Dimensional Tape. ZmLG 14 (1968).Google Scholar
  2. [Ho 63]
    Hooper, PH.K.: Some Small, Multi-Tape Universal Turing-Machines. Notices AMS Vol. 10 (1963), 63T359Google Scholar
  3. [KB 75]
    Kleine Büning, H.: Netzwerke endlicher Automaten für Potentialautomaten. Diplomarbeit, inst. für math. Logik und Grundlagenforschung, Münster 1975Google Scholar
  4. [KB 77]
    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 1977Google Scholar
  5. [KB Ott 77]
    Kleine Büning, H./Ottmann, Th.: Kleine universelle mehrdimensionale Turingmaschinen. EIK 13 (1977)Google Scholar
  6. [KB 83]
    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 LNCSGoogle Scholar
  7. [Kn 77]
    Kniza, K.-P.: Endliche Automaten mit Präferenzen. Diplomarbeit, Inst. für math. Logik und Grundlagenforschung, Münster 1977Google Scholar
  8. [KöOtt 74]
    Körber, P./Ottmann, Th.: Simulation endlicher Automaten durch Ketten aus einfachen Bausteinautomaten. EIK 10 (1974)Google Scholar
  9. [Kö 76]
    Körber, P.: Untersuchungen an sequentiellen, durch normierte Konstruktionen gewonnenen Netzwerken endlicher Automaten. Dissertation, Inst. für math. Logik und Grundlagenforschung, Münster 1976Google Scholar
  10. [Mü 81a]
    Müller, J.: Netzwerke endlicher Automaten — eine modulare Zerlegungstheorie für Automaten. Ausarbeitung am Inst. für math. Logik und Grundlagenforschung, Münster 1981Google Scholar
  11. [Mü 81b]
    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 1981Google Scholar
  12. [NaRö 78]
    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. [Ott 73]
    Ottmann, Th.: Über Möglichkeiten zur Simulation endlicher Automaten durch eine Art sequentieller Netzwerke aus einfachen Bausteinen. ZmEG 19 (1973)Google Scholar
  14. [Ott 74]
    Ottmann, Th.: Arithmetische Prädikate über einem Bereich endlicher Automaten. Arch. math. Log. 16 (1974)Google Scholar
  15. [Ott 75]
    Ottmann, Th.: Eine universelle Turingmaschine mit zweidimensionalem Band, 7 Buchstaben und 2 Zuständen. EIK 11 (1975)Google Scholar
  16. [PrRö 74]
    Priese, L./Rödding, D.: A Combinatorial Approach to Self-Correction. J. Cybern. 4 (1974)Google Scholar
  17. [Pr 75]
    Priese, L.: On the Minimal Complexity of Component-Machines for Self-Correcting Networks. J. Cybern. 5 (1975)Google Scholar
  18. [Pr 76a]
    Priese, L.: On a simple Combinatorial Structure Sufficient for Supplying Nontrivial Self-Reproduction. J. Cybern. 6 (1976)Google Scholar
  19. [Pr 76b]
    Priese, L.: Reversible Automaten und einfache universelle 2-dimensionale Thue-Systeme. ZmLG 22 (1976)Google Scholar
  20. [Pr 78]
    Priese, L.: A Note on Asynchronous Cellular Automata. JCSS 17 (1978)Google Scholar
  21. [Pr 79a]
    Priese, L.: Towards a Precise Characterization of the Complexity of Universal and Nonuniversal Turing Machines. SIAM J. Comput. (1979)Google Scholar
  22. [Pr 79b]
    Priese, L.: Über ein 2-dimensionales Thue-System mit zwei Regeln und unentscheidbarem Wortproblem. ZmLG 25 (1979)Google Scholar
  23. [Pr 79c]
    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. [Pr 83]
    Priese, L.: Automata and Concurrency. To appear in Theoretical Computer ScienceGoogle Scholar
  25. [PrRöSchäBr 83]
    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 LNCSGoogle Scholar
  26. [RöRö 79]
    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ö 83]
    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ä 82]
    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. [Vo 80]
    Vobl, R.: Komplexitätsuntersuchungen an Basisdarstellungen endlicher Automaten. Diplomarbeit, Inst. f. math. Logik und Grundlagenforschung, Münster 1980Google Scholar
  30. [Wa 73]
    Wagner, K.: Universelle Turingmaschinen mit n-dimensionalem Band. EIK 9 (1973)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • D. Rödding
    • 1
  1. 1.Institut für mathematischeLogik und GrundlagenforschungMünster

Personalised recommendations