Si considera un approccio categoriale alla teoria degli automi nel quale la realizzazione di automi non deterministici risulta essere universale in un senso 2-categoriale (lax). We consider a categorical approach to the theory of automata by which the realization of non deterministic automata is universal in a 2-categorical sense (lax).
