4
(N) DFA con lo stesso stato iniziale / accettante
Cosa si sa della classe di lingue riconosciute dagli automi finiti che hanno lo stesso stato iniziale e accettante? Questo è un sottoinsieme proprio delle lingue normali (poiché ogni lingua del genere contiene la stringa vuota), ma quanto è debole? Esiste una semplice caratterizzazione algebrica? Idem per le lingue riconosciute …