Automata in semimodule categories

  • José Meseguer
  • Ignacio Sols
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)


Fuzzy Relation Switching Network Categorical Tensor Forgetful Functor Minimal Realization 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1).
    PFENDER, M., "Universelle Algebra in monoidalen Kategorien", Technische Universität Berlin, July 1973.Google Scholar
  2. 2).
    GOGUEN, J.A., "L-Fuzzy Sets", Journ. Math. Anal. Appl. (18), 145–174 (1967).CrossRefMathSciNetGoogle Scholar
  3. 3).
    MAC LANE, S., "Categories for the working Mathematician", Springer Verlag, New York, (1971).zbMATHGoogle Scholar
  4. 4).
    MITCHELL, B., "Theory of Categories", Academic Press, New York (1965).zbMATHGoogle Scholar
  5. 5).
    MESEGUER, J.,SOLS, I., "On a Categorical Tensor Calculus for Automata", Zaragoza University, September 1973, (unpublished paper).Google Scholar
  6. 6).
    GOGUEN, J.A., "Minimal Realization of Machines in Closed Categories", Bull AMS (78), 777–783, (1972).MathSciNetGoogle Scholar
  7. 7).
    LAWVERE, F.W., "Functorial Semantics on Algebraic Theories", Proc. Nat. Acad. Sci. USA (50), 869–873 (1963).CrossRefMathSciNetGoogle Scholar
  8. 8).
    DAL CIN, M., "Fuzzy-State Automata, their Stability and Fault-Tolerance". Institute Information Sciences, University of Tübingen.Google Scholar
  9. 9).
    BUDACH, L., HOEHNKE, H.J., "Uber eine einheitliche Begründung der Automatentheorie", Seminar Report 1. HU-Berlin. (1969–70).Google Scholar
  10. 10).
    McCULLOCK, MORENO-DIAZ, R., "On a Calculus for Triadas", Neural Networks (78–86), E.R. Caianiello (ed.), Springer Verlag, Berlin (1968).Google Scholar
  11. 11).
    ZADEH, L.A., "Fuzzy Sets", Inf. Control, (8), 338–353, (1965).CrossRefMathSciNetGoogle Scholar
  12. 12).
    EHRIG, H., KIERMEIER, K.D., KREOWSKI, H.J., KUHNEL, W., "Systematisierung der Automaten Theorie", T.U.-Berlin, (seminar 1972–73).Google Scholar
  13. 13).
    MARTINEZ, P., MESEGUER, J., "Probabilistic Automata as Bilinear Automata", unpublished paper, April 1973.Google Scholar
  14. 14).
    MESEGUER, J., SOLS, I., "Categorical Tensor Representation of Deterministic, Relational and Probabilistic Finite Functions" (to appear in Actas de las II Jornadas Matemàticas Hispano-Lusitanas, Madrid 1973).Google Scholar
  15. 15).
    HOTZ, G., "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" I and II, EIK (1), 185–206, 209–231, (1965).MathSciNetGoogle Scholar
  16. 16).
    POYATOS, F. "Introducción a la Teoría de Semimodulos", dissertation, University of Madrid., (1967).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • José Meseguer
    • 1
  • Ignacio Sols
    • 2
  1. 1.Electronics and GeometryZaragoza University Faculty of ScienceZaragozaSpain
  2. 2.GeometryZaragoza University Faculty of ScienceZaragozaSpain

Personalised recommendations