to zwykły język nad alfabetem Σ = { a , b } . Lewym ilorazem L dotyczącym w ∈ Σ ∗ jest język w - 1 L : = { v ∣ w v ∈ L }
Jak mogę udowodnić, że jest regularny?
to zwykły język nad alfabetem Σ = { a , b } . Lewym ilorazem L dotyczącym w ∈ Σ ∗ jest język w - 1 L : = { v ∣ w v ∈ L }
Jak mogę udowodnić, że jest regularny?
Załóżmy, że jest deterministyczny automat skończony przyjmowania l . Wprowadź słowo w do M , co wyląduje w pewnym stanie q . Zbuduj nową maszynę M ', która jest taka sama jak M, ale ma stan początkowy q . Zastrzeżenia patentowe że M ' przyjmuje w - 1 l .
Teraz to udowodnij.
źródło