×

Systematic approach to reduction and minimization in automata and system theory. (English) Zbl 0343.94025


MSC:

68Q45 Formal languages and automata
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
18B20 Categories of machines, automata
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abrib, M. A., (Theories of Abstract Automata (1969), Prentice-Hall: Prentice-Hall Englewood Cliffs, N.J.) · Zbl 0193.32801
[2] Arbib, M. A.; Giveon, Y., Algebra automata. II. The categorical framework for dynamic analysis, Inform. Contr., 12, 346-370 (1968) · Zbl 0164.32201
[3] Arbib, M. A.; Manes, E. G., Machines in a category, SIAM Rev., 16, 163-192 (1974) · Zbl 0288.18005
[4] M. A. Arbib and E. G. ManesJ. Pure Appl. Alg.; M. A. Arbib and E. G. ManesJ. Pure Appl. Alg. · Zbl 0323.18002
[5] Arbib, M. A.; Manes, E. G., Fuzzy morphisms in automata theory, (Proceedings of the First International Symposium: Category Theory Applied to Computation and Control. Proceedings of the First International Symposium: Category Theory Applied to Computation and Control, Lecture Notes in Computer Science, 25 (1975), Springer-Verlag) · Zbl 0306.18003
[6] Bainbridge, E. S., A unified minimal realization theory with duality, (Dissertation (1972), Department of Computer and Communication Sciences, University of Michigan), Technical Report No. 140 · Zbl 0372.93015
[7] Bainbridge, E. S., Addressed machines and duality, (Proceedings of the Fist International Symposium: Category Theory Applied to Computation and Control. Proceedings of the Fist International Symposium: Category Theory Applied to Computation and Control, Lecture Notes in Computer Science, 25 (1975), Springer-Verlag) · Zbl 0327.68057
[8] Brauer, W., Zu den Grundlagen einer Theorie topologischer sequentieller Systeme und Automaten, (Berichte GMD Bonn, Nr. 31 (1970)) · Zbl 0216.56503
[9] Budach, L.; Hoehnke, H.-J., Über eine einheitliche Begründung der Automatentherie, (Seminarbericht 1. Teil (1969/70), HU Berlin)
[10] Budach, L.; Hoehnke, H.-J., (Automaten und Funktoren (1975), Akademic-Verlag: Akademic-Verlag Berlin) · Zbl 0363.18006
[11] Claus, V., (Stochastische Automaten (1971), Teubner: Teubner Stuttgart) · Zbl 0226.94046
[12] Ehrig, H., F-Morphismen, Math. Nachr., 59, 75-93 (1974) · Zbl 0232.18002
[13] H. Ehrig, K.D. Kiermeier, H.-J. Kreowski and W. Kühnel, “Systematisierung derAutomatentheorie, ” Seminarbericht 1972/73, Forschungsbericht 73-8, Fachbereich 20 der TU Berlin; H. Ehrig, K.D. Kiermeier, H.-J. Kreowski and W. Kühnel, “Systematisierung derAutomatentheorie, ” Seminarbericht 1972/73, Forschungsbericht 73-8, Fachbereich 20 der TU Berlin
[14] Ehrig, H.; Kiermeier, K. D.; Kreowski, H.-J.; Kühnel, W., (Universal Theory of Automata (1974), Teubner: Teubner Stuttgart) · Zbl 0289.94023
[15] Kreowski, H.-J., Automaten in pseudoabgeschlossenen Kategorien, (Diplomarbeit (1974), TU Berlin) · Zbl 0341.94022
[16] Ehrig, H.; Kreowski, H.-J.; Peender, M., Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten, Math. Nachr., 59, 105-124 (1974) · Zbl 0247.94031
[17] Ehrig, H.; Kühnel, W., Topological automata, RAIRO, R-3, 73-91 (1974) · Zbl 0355.94064
[18] Ehrig, H.; Pfender, M., (Kategorien und Automaten (1972), de Gruyter: de Gruyter Berlin/New York), Students · Zbl 0231.94040
[19] Eilenberg, S.; Wright, J. B., Automata in general algebras, Inform. Contr., 11, 452-470 (1967) · Zbl 0175.27902
[20] Elgot, C. V., The common algebraic structure of exit-automata and machines, Comput. J., 6, 349-370 (1971) · Zbl 0264.94033
[21] Goguen, J. A., Systems and minimal realization, (proceedings of the 1971 IEEE Conference on Decision and Control. proceedings of the 1971 IEEE Conference on Decision and Control, Miami Beach Fla. (1971)), 42-46
[22] Goguen, J. A., Discrete-time-machines in closed monoidal categories. I, Bull. Amer. Math. Soc., 78, 777-783 (1972) · Zbl 0277.18003
[23] Goguen, J. A., Realization is universal, Math. Systems Theory, 6, 359-374 (1973) · Zbl 0248.18015
[24] Goguen, J. A., Minimal realization situations (1973), Preprint · Zbl 0248.18015
[25] Herrlich, H.; Strecker, (Category Theory (1973), Allyn and Bacon: Allyn and Bacon Boston) · Zbl 0265.18001
[26] Hotz, G.; Claus, V., Automatentheorie und Formale Sprachen, Bd. III (1971), BI-Band 823a, Mannheim · Zbl 0411.68046
[27] Hotz, G.; Walter, H., Automatentheorie und Formale Sprachen, Bd. II (1969), BI-Band 822, Mannheim · Zbl 0212.02704
[28] Hu, S. T., (Mathematical Theory of Switching Circuits and Automata (1968), University of California Press: University of California Press Los Angeles) · Zbl 0174.29101
[29] Kalman, R. E.; Falb, P. L.; Arbib, M. A., (Topics in Mathematical System Theory (1969), MacGraw-Hill: MacGraw-Hill New York) · Zbl 0231.49001
[30] MacLane, S., (Categories for the Working Mathematician (1972), Springer-Verlag: Springer-Verlag Berlin/New York) · Zbl 0255.00015
[31] Pumplün, D., Universelle und spezielle Probleme, Math. Ann., 198, 131-146 (1972)
[32] Schmitt, A., Zur Theorie der nichtdeterministischen und unvollständigen Automaten, Comp., 4 (1969) · Zbl 0213.02203
[33] Semadeni, Z., The category of logical kists (1971), Preprint, Warzawa
[34] Starke, P. H., (Abstrakte Automaten (1969), VEB-Verlag: VEB-Verlag Berlin), (Translation: Abstract Automata, Elsevier/North-Holland, Amsterdam, 1972) · Zbl 0182.02102
[35] Starke, P. H., Allgemeine Probleme und Methoden in der Automatentheorie, EIK, 8, 489-517 (1972) · Zbl 0257.94026
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.