Automata in general algebras
From MaRDI portal
Publication:5565124
DOI10.1016/S0019-9958(67)90670-5zbMath0175.27902MaRDI QIDQ5565124
Jesse B. Wright, Samuel Eilenberg
Publication date: 1967
Published in: Information and Control (Search for Journal in Brave)
Related Items
Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Unnamed Item, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, The monadic second-order logic of graphs. I: Recognizable sets of finite graphs, Categories, relations and dynamic programming, Organismic supercategores: II. On multistable systems, E-unitary inverse monoids and the Cayley graph of a group presentation, Unnamed Item, Machines in a category, Object grammars and bijections., Varieties of chain-complete algebras, Graph expressions and graph rewritings, Recursion-closed algebraic theories, Semantic preserving translations, Morphismes et bimorphismes d'arbres, Regular trees and the free iterative theory, A class of fuzzy theories, On rational definitions in complete algebras without rank, On a multiplication of semigroup varieties, Some reasons for generalising domain theory, Graph automata, Primitive recursive algebraic theories and program schemes, Algebraic recognizability of regular tree languages, Natural state transformations, Minimal realization of machines in closed categories, Derivatives of rational expressions with multiplicity, Graph congruences and wreath products, The existence and construction of free iterative theories, Systematic approach to reduction and minimization in automata and system theory, Matricial theories, A generalized approach to formal languages, Inference for regular bilanguages, On the algebraic structure of rooted trees, Generalized sequential machine maps, On rational series and rational languages, Commutativity in free inverse monoids, Nondeterministic operations on finite relational structures, Deux applications de la représentation matricielle d'une série rationnelle non commutative. (Two applications of matrix representations of a rational non -commutative series), Quelques propriétés algébriques des automates, A proof of Choffrut's theorem on subsequential functions, A hidden agenda, The common algebraic structure of exit-automata and machines, Automata in categories. The decomposition problem, Associativity of products of existence varieties of regular semigroups, Determinants and Möbius functions in trace monoids, Correctness of recursive parallel nondeterministic flow programs, All solutions of a system of recursion equations in infinite trees and other contraction theories, P-varieties - a signature independent characterization of varieties of ordered algebras, Init and Anf operating on \(\omega\)-languages, A functorial semantics for multi-algebras and partial algebras, with applications to syntax., Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Rationality in algebras with a series operation, Transformations of structures: An algebraic approach, Classes of finite relations as initial abstract data types. II, Fuzzy semirings
