Machines in a Category: An Expository Introduction

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

Mathematics Subject Classification ID

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)