Linguaggio regolare?
Per favore potete aiutarmi a stabilire se questo è un linguaggio regolare?
L(m) = {$\sigma$ stringa di 0 e 1, tale che ogni sequenza di 1 in $\sigma$ è lunga m ed è preceduta da massimo m 0 e seguita da almeno m 0}
Da quel che so io è un linguaggio regolare se riesco a costruire un automa a stati finiti deterministico..ma non sono sicuro di essere capace.
Cambia qualcosa al variare di m>0?
Grazie mille
L(m) = {$\sigma$ stringa di 0 e 1, tale che ogni sequenza di 1 in $\sigma$ è lunga m ed è preceduta da massimo m 0 e seguita da almeno m 0}
Da quel che so io è un linguaggio regolare se riesco a costruire un automa a stati finiti deterministico..ma non sono sicuro di essere capace.
Cambia qualcosa al variare di m>0?
Grazie mille
Risposte
A me non sembra regolare - ad occhio: la dicitura "preceduta da massimo m 0" come la rendo regolare?
Comunque non ho verificato, magari prova te: come strada alternativa all'automa, fai una verifica con il pumping lemma dei linguaggi regolari.
Comunque non ho verificato, magari prova te: come strada alternativa all'automa, fai una verifica con il pumping lemma dei linguaggi regolari.