Publication:4721656
From MaRDI portal
zbMath0614.68045MaRDI QIDQ4721656
Stefano Kasangian, Renato Betti
Publication date: 1985
reachability; tree automata; realization; bicategory; T-algebras; local adjunction; behaviour functor
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata
18B20: Categories of machines, automata
18D20: Enriched categories (over closed or monoidal categories)
Related Items
Categorie variabili, Free quantaloids, Universal algebras, Quantaloidal nuclei, the syntactic congruence and tree automata, Categories with sums and right distributive tensor product, Quantaloids, enriched categories and automata theory, A categorical approach to lattice-valued fuzzy automata, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item