×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Abrib, M.A., ()
[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] \scM. A. Arbib and E. G. Manes, Adjoint machines, state-behavior machines, and duality,COINS Techn. Report 73B-1, to appear in J. Pure Appl. Alg. · Zbl 0323.18002
[5] Arbib, M.A.; Manes, E.G., Fuzzy morphisms in automata theory, () · Zbl 0306.18003
[6] Bainbridge, E.S., A unified minimal realization theory with duality, (), Technical Report No. 140 · Zbl 0372.93015
[7] Bainbridge, E.S., Addressed machines and duality, () · Zbl 0327.68057
[8] Brauer, W., Zu den grundlagen einer theorie topologischer sequentieller systeme und automaten, () · Zbl 0216.56503
[9] Budach, L.; Hoehnke, H.-J., Über eine einheitliche begründung der automatentherie, ()
[10] Budach, L.; Hoehnke, H.-J., ()
[11] Claus, V., ()
[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
[14] Ehrig, H.; Kiermeier, K.D.; Kreowski, H.-J.; Kühnel, W., ()
[15] Ehrig, H.; Kreowski, H.-J.; Kreowski, H.-J., Automaten in pseudoabgeschlossenen kategorien, (), More detailed version in [14] and in · 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., (), Students
[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, (), 42-46
[22] Goguen, J.A.; Goguen, J.A., Discrete-time-machines in closed monoidal categories. I, (), Bull. amer. math. soc., 78, 777-783, (1972), Short version in · 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, ()
[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., ()
[29] Kalman, R.E.; Falb, P.L.; Arbib, M.A., ()
[30] MacLane, S., ()
[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., (), (Translation: Abstract Automata, Elsevier/North-Holland, Amsterdam, 1972)
[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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.