scientific article

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

minimal realization free algebras tree automata linear automata Kleene theorem sequential automata universal realizations

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Algebraic theory of languages and automata (68Q70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Categories of machines, automata (18B20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

Rational operational models, Free Heyting Algebras: Revisited, On tree coalgebras and coalgebra presentations, Relation lifting, a survey, Continuous and uniformly continuous maps of powers of metric spaces, Unnamed Item, Unnamed Item, The category-theoretic solution of recursive program schemes, On Finitary Functors, Equational properties of iteration in algebraically complete categories, The equational logic of fixed points, Strategy-proof aggregation rules and single peakedness in bounded distributive lattices, Subsequential transducers: a coalgebraic perspective, Presenting functors on many-sorted varieties and applications, Coequational logic for accessible functors, Proof systems for Moss' coalgebraic logic, On the category of $L$-fuzzy automata, coalgebras and dialgebras, A bialgebraic approach to automata and formal language theory, On final coalgebras of continuous functors, Universality of categories of coalgebras, Infinite trees and completely iterative theories: A coalgebraic view, Modalities in the Stone age: a comparison of coalgebraic logics, Unnamed Item, Unnamed Item, Recursive coalgebras of finitary functors, Unnamed Item, Coalgebraic semantics of modal logics: an overview, Relatively terminal coalgebras, On functors preserving coproducts and algebras with iterativity, Some facets of Horn covarieties in a category, On the greatest fixed point of a set functor, REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS, Generalised powerlocales via relation lifting, A Coalgebraic View of Infinite Trees and Iteration, From Varieties of Algebras to Covarieties of Coalgebras, Automata and fixed point logic: a coalgebraic perspective, Terminal coalgebras and free iterative theories, A Bialgebraic Approach to Automata and Formal Language Theory, A categorical approach to minimal realization for a fuzzy language, Predicate liftings and functor presentations in coalgebraic expression languages, On final coalgebras of power-set functors and saturated trees, Equational Coalgebraic Logic, Memoryless systems generate the class of all discrete systems, Modules in the Category $$\mathtt {\mathbf{Sup}}$$, On the construction of free algebras for equational systems, A farewell to Professor RNDr. Věra Trnková, DrSc., A coalgebraic view on reachability, Categories of quantale-valued fuzzy automata: determinization and minimization, All clones are centralizer clones, Modal Predicates and Coequations, The Bottom-Up Position Tree Automaton and the Father Automaton, On finitary functors and their presentations, Structural operational semantics for continuous state stochastic transition systems, Lax extensions of coalgebra functors and their logic, A categorical framework for learning generalised tree automata, Set functors and filters, Predicate Liftings Versus Nabla Modalities, Coequational Logic for Finitary Functors, Categories of Automata and Languages Based on a Complete Residuated Lattice