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
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.
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
Show full item record


CORE Recommender

Page view(s)

733
checked on Feb 23, 2018

Download(s)

289
checked on Feb 23, 2018

Google ScholarTM

Check


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