Options
Tree automata and enriched category theor
Betti, Renato
Kasangian, Stefano
1985
Abstract
Si dimostra che un singolo automa ad albero può essere considerato come una categoria basata su un'opportuna bicategoria costruita a partire dagli alberi di input. In questo contesto si estende il teorema di aggiunzione locale fra realizzazione e comportamento.
It is shown that tree automata can be described as cate¬gories enriched on a suitable base bicategory built up with input trees. In this setting the known theorem relating realization and behaviour by a local adjunction still holds true.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics
17 (1985)
Publisher
Università degli Studi di Trieste. Dipartimento di Scienze Matematiche
Source
Renato Betti, Stefano Kasangian, “Tree automata and enriched category theory”, in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 17 (1985), pp. 71-78.
Languages
en
File(s)