scientific article; zbMATH DE number 3479107

MaRDI QIDQ4063606zbMATH OpenFDO

Authors Michael A. Arbib, Ernest G. Manes

Publication date 1975

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45) Axiomatic systems theory (93A05)

Cited in

(10)

• Automata theory based on complete residuated lattice-valued logic: a categorical approach
• On the algebra of order
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Foundations of system theory: Decomposable systems
• Discrete-time machines in closed monoidal categories. I
• On a category of fuzzy automata with relations
• Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
• GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED
• Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
• Codatatypes in ML

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4063606)