Options
A property of the behavior of complete automata
Una proprietà del comportamento per gli automi completi
Betti, Renato
Kasangian, Stefano
1982
Abstract
Si dimostra che, considerando gli automi come categorie arricchite, il comportamento è una opfibrazione e la nota aggiunzione con la realizzazione vale anche in questo contesto più generale.
It is shown that, in the categorical approach by which automata are enriched categories, behaviour turns out to be an opfibration and its adjointness to realization still holds in this enriched framework.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics
14 (1982)
Publisher
Università degli Studi di Trieste. Dipartimento di Scienze Matematiche
Source
Renato Betti, Stefano Kasangian, "Una proprietà del comportamento per gli automi completi", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 14 (1982), pp. 17-26.
Languages
it
File(s)