Teorema di Kleene
Da Wikipedia, l'enciclopedia encyclopedia
Il teorema di caratterizzazione degli automi finiti di Kleene afferma che i linguaggi regolari, cioè i linguaggi accettati da un riconoscitore di Rabin e Scott (RSR), sono tutti e soli i linguaggi a stati finiti ottenuti con un'operazione di chiusura. Il teorema è dovuto a Stephen Kleene.
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
Questa voce sull'argomento matematica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.