Repository logo
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics
  5. Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.17 (1985)
  6. Tree automata and enriched category theor
 
  • Details
  • Metrics
Options

Tree automata and enriched category theor

Betti, Renato
•
Kasangian, Stefano
1985
Loading...
Thumbnail Image
ISSN
0049-4704
http://hdl.handle.net/10077/5056
  • Article

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)
Loading...
Thumbnail Image
Download
Name

BettiKasangianRendMat17.pdf

Format

Adobe PDF

Size

637.39 KB

Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback