Teorema

<aside> 💡 Un linguaggio è regolare se e solo se esiste un automa finito non deterministico che lo riconosce

</aside>

• Dimostrazione

Teorema

<aside> 💡 La classe dei linguaggi regolari è chiusa per l’operazione di concatenazione Cioè, se $L_1$ e $L_2$ sono linguaggi regolari, allora lo è anche $L_1 \circ L_2$

</aside>

• Dimostrazione

Teorema

<aside> 💡 La classe dei linguaggi regolari è chiusa per l’operazione di kleene star Cioè, se $L$ è un linguaggio regolare, allora lo è anche $L^*$

</aside>

• Dimostrazione