Automi temporizzati. -linguaggi e -automi (1) Un -linguaggio su un alfabeto finito e un sottoinsieme di, linsieme di tutte le stringhe infinite su. Una.
