Advertisement

Power and initial automata in pseudoclosed categories

  • Hartmut Ehrig
  • Hans-Jörg Kreowski
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)

Keywords

Monoidal Category Initial Case Minimal Realization Adjoint Functor Closed Category 
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.

References

  1. [1]
    ARBIB, M.A. — MANES, E.G., Machines in Category: an Expository Introduction, Siam Review, to appearGoogle Scholar
  2. [2]
    -, Foundations of System Theory I, Automatica, to appearGoogle Scholar
  3. [3]
    -, Kleisli Machines, to appearGoogle Scholar
  4. [4]
    BUDACH, L. — HOEHNKE, H.-J., Über eine einheitliche Begründung der Automatentheorie, Seminarbericht 1. Teil, HU-Berlin, 1969/70Google Scholar
  5. [5]
    -, Automaten u. Funktoren, Berlin 73/74, to appearGoogle Scholar
  6. [6]
    EHRIG, H. — KIERMEIER, K.D. — KREOWSKI, H.-J., KÜHNEL, W., Systematisierung der Automatentheorie, Seminarbericht 72/73 TU Berlin FB 20 Bericht 73-08, to be published in English by TeubnerGoogle Scholar
  7. [7]
    EHRIG, H. — KREOWSKI, H.-J., Systematic Approach of Reduction and Minimization in Automata and System Theory, TU Berlin 1973, FB 20 Bericht 73-16, submitted for JCSSGoogle Scholar
  8. [8]
    GOGUEN, J.A., Systems and Minimal Realization, Proc. of the 1971 IEEE Conf. on Decision and Control, Miami Beach 1971, 42–46Google Scholar
  9. [9]
    -, Discrete-Time-Machines in Closed Monoidal Categories, I. Quarterly Report no. 30, Inst.f.Comp.Res., University of Chicago (1971) Condensed version in: Bull. AMS 78 (1972), 777–783Google Scholar
  10. [10]
    KREOWSKI, H.-J., Automaten in pseudoabgeschlossenen Kategorien, Diplomarbeit TU-Berlin 1974Google Scholar
  11. [11]
    STARKE, P.H., Abstrakte Automaten, VEB-Verlag, Berlin 1969 (Translation: Abstract Automata, Elsevier/North Holland, Amsterdam 1972)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Hans-Jörg Kreowski
    • 1
  1. 1.Technical University of Berlin, FB 20 AT/FSD-1 Berlin 10Germany

Personalised recommendations