Machines in a Category: An Expository Introduction

DOI10.1137/1016026zbMath0288.18005OpenAlexW2040247099MaRDI QIDQ4776013

Michael A. Arbib, Ernest G. Manes

Publication date: 1974

Published in: SIAM Review (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/1016026

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Linear systems in control theory (93C05) Categories of machines, automata (18B20)

Related Items

BL-general fuzzy automata and minimal realization: Based on the associated categories ⋮ Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory ⋮ Least fixpoints of endofunctors of cartesian closed categories ⋮ An algorithm to minimize representations of finite order relations ⋮ Unnamed Item ⋮ Symbolic models for control systems ⋮ Formulating patterns in problem solving ⋮ Least fixed point of a functor ⋮ Universal realization ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ Machines in a category ⋮ Foundations of system theory: The Hankel matrix ⋮ Unnamed Item ⋮ On a category of fuzzy automata with relations ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ Fuzzy machines in a category ⋮ An algebraic model of synchronous systems ⋮ GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED ⋮ Tree-functors, determinacy and bisimulations ⋮ Dynamical systems in categories ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ A category-theoretic approach to systems in a fuzzy world ⋮ Natural state transformations ⋮ Colimits of algebras revisited ⋮ ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION ⋮ Adjoint machines, state-behavior machines, and duality ⋮ Systematic approach to reduction and minimization in automata and system theory ⋮ A left adjoint construction related to free triples ⋮ A categorical approach to minimal realization for a fuzzy language ⋮ Categorical constructions of free algebras, colimits, and completions of partial algebras ⋮ Categories of quantale-valued fuzzy automata: determinization and minimization ⋮ SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† ⋮ Methods of invariant analysis for linear control systems. ⋮ Cost functors and optimal realization ⋮ Bisimulation of automata ⋮ Automata theory based on complete residuated lattice-valued logic: a categorical approach ⋮ Automata in categories. The decomposition problem ⋮ Categories of Automata and Languages Based on a Complete Residuated Lattice