Linguaggio regolare?

pinca1
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

Risposte
Rggb1
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.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.