Indice
1 relazione: Linguaggio omega-regolare.
Linguaggio omega-regolare
I linguaggi ω-regolari sono una classe di ω-linguaggi che generalizzano i linguaggi regolari a parole di lunghezza infinita. Richard Büchi dimostrò nel 1962 che i linguaggi ω-regolari sono precisamente quelle definibili in una particolare logica monadica del secondo ordine chiamata S1S.
Vedere Omega linguaggio e Linguaggio omega-regolare
Conosciuto come Ω-linguaggio.