Machines in a Category: An Expository Introduction
From MaRDI portal
Publication:4776013
DOI10.1137/1016026zbMATH Open0288.18005OpenAlexW2040247099MaRDI QIDQ4776013FDOQ4776013
Authors: 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
Formal languages and automata (68Q45) Linear systems in control theory (93C05) Categories of machines, automata (18B20)
Cited In (41)
- A left adjoint construction related to free triples
- Machines in a category
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED
- Categorical constructions of free algebras, colimits, and completions of partial algebras
- Natural state transformations
- Tree-functors, determinacy and bisimulations
- Bisimulation of automata
- SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
- On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
- Adjoint machines, state-behavior machines, and duality
- Categories of Automata and Languages Based on a Complete Residuated Lattice
- Universal realization
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Least fixed point of a functor
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- Minimisation in logical form
- Foundations of system theory: The Hankel matrix
- Fuzzy machines in a category
- An algorithm to minimize representations of finite order relations
- Formulating patterns in problem solving
- On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
- Symbolic models for control systems
- Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
- Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
- Automata in categories. The decomposition problem
- Categories of quantale-valued fuzzy automata: determinization and minimization
- A categorical approach to minimal realization for a fuzzy language
- Title not available (Why is that?)
- Methods of invariant analysis for linear control systems.
- On a category of fuzzy automata with relations
- An algebraic model of synchronous systems
- Least fixpoints of endofunctors of cartesian closed categories
- Colimits of algebras revisited
- Cost functors and optimal realization
- A category-theoretic approach to systems in a fuzzy world
- Dynamical systems in categories
- ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION
- BL-general fuzzy automata and minimal realization: based on the associated categories
- Systematic approach to reduction and minimization in automata and system theory
This page was built for publication: Machines in a Category: An Expository Introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4776013)