Automata in general algebras
From MaRDI portal
Publication:5565124
Cited in
(57)- Monadic monadic second order logic
- Automata in categories. The decomposition problem
- Regular planar monoidal languages
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Init and Anf operating on \(\omega\)-languages
- All solutions of a system of recursion equations in infinite trees and other contraction theories
- Systematic approach to reduction and minimization in automata and system theory
- Derivatives of rational expressions with multiplicity
- Morphismes et bimorphismes d'arbres
- Some reasons for generalising domain theory
- scientific article; zbMATH DE number 3607504 (Why is no real title available?)
- The existence and construction of free iterative theories
- Determinants and Möbius functions in trace monoids
- Correctness of recursive parallel nondeterministic flow programs
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Matricial theories
- Transformations of structures: An algebraic approach
- Classes of finite relations as initial abstract data types. II
- A class of fuzzy theories
- Primitive recursive algebraic theories and program schemes
- Rationality in algebras with a series operation
- The common algebraic structure of exit-automata and machines
- Natural state transformations
- Regular trees and the free iterative theory
- Varieties of chain-complete algebras
- On rational series and rational languages
- Semantic preserving translations
- Minimal realization of machines in closed categories
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- Graph automata
- scientific article; zbMATH DE number 3539402 (Why is no real title available?)
- A generalized approach to formal languages
- Associativity of products of existence varieties of regular semigroups
- Organismic supercategores: II. On multistable systems
- 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)
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- On rational definitions in complete algebras without rank
- A proof of Choffrut's theorem on subsequential functions
- On the algebraic structure of rooted trees
- A hidden agenda
- Graph expressions and graph rewritings
- Algebraic recognizability of regular tree languages
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
- Recursion-closed algebraic theories
- Graph congruences and wreath products
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- E-unitary inverse monoids and the Cayley graph of a group presentation
- Fuzzy semirings
- Quelques propriétés algébriques des automates
- Commutativity in free inverse monoids
- Nondeterministic operations on finite relational structures
- Categories, relations and dynamic programming
- Machines in a category
- On a multiplication of semigroup varieties
- Inference for regular bilanguages
- Object grammars and bijections.
- Generalized sequential machine maps
This page was built for publication: Automata in general algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5565124)
