Natural state transformations

DOI10.1016/S0022-0000(75)80045-6zbMath0304.94045MaRDI QIDQ1217073

Suad Alagic

Publication date: 1975

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20) Categorical structures (18D99)

Related Items (2)

Algebraic solutions to recursion schemes ⋮ ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Coequalizers and free triples
• Generalized sequential machine maps
• Kan extensions in enriched category theory
• Machines in a Category: An Expository Introduction
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Algebraic automata and context-free sets
• Automata in general algebras
• Mappings and grammars on trees

This page was built for publication: Natural state transformations