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.
Type: Article
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 PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s) 20

925
Last Week
0
Last month
1
checked on Jul 31, 2021

Download(s) 50

433
Last Week
1
Last month
10
checked on Jul 31, 2021

Google ScholarTM

Check


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