scientific article
From MaRDI portal
Publication:4063607
zbMath0306.18002MaRDI QIDQ4063607
Michael A. Arbib, Ernest G. Manes
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Categories of machines, automata (18B20) Axiomatic systems theory (93A05)
Related Items (27)
On the existence of free models in abstract algebraic institutions ⋮ CGOOD, a categorical graph-oriented object data model ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Unnamed Item ⋮ On the uniqueness of fixed points of endofunctors in a category of complete metric spaces ⋮ Unnamed Item ⋮ The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces ⋮ Parallel high-level replacement systems ⋮ Machines in a category ⋮ On the algebra of order ⋮ Parallelism and concurrency of graph manipulations ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ On a category of fuzzy automata with relations ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ Studying equivalences of transition systems with algebraic tools ⋮ Discrete-time machines in closed monoidal categories. I ⋮ Realization theory for automata in categories ⋮ A left adjoint construction related to free triples ⋮ Categorical constructions of free algebras, colimits, and completions of partial algebras ⋮ Equational logic of circular data type specification ⋮ Automata theory based on complete residuated lattice-valued logic: a categorical approach ⋮ Coproducts and decomposable machines ⋮ Algebraic domain equations ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ A categorical framework for learning generalised tree automata ⋮ On conservative extensions of syntax in system development ⋮ Categories of Automata and Languages Based on a Complete Residuated Lattice
This page was built for publication:
