OpenstarTs >
EUT-Periodici >
Rendiconti dell’Istituto di matematica dell’Università di Trieste: an International Journal of Mathematics >
Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.17 (1985) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/5056

Title: Tree automata and enriched category theor
Authors: Betti, Renato
Kasangian, Stefano
Issue Date: 1985
Publisher: Università degli Studi di Trieste. Dipartimento di Scienze Matematiche
Citation: 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.
Series/Report no.: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics
17 (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.
URI: http://hdl.handle.net/10077/5056
ISSN: 0049-4704
Appears in Collections:Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.17 (1985)

Files in This Item:

File Description SizeFormat
BettiKasangianRendMat17.pdf637.39 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.