Jak udowodnić, że zwykłe języki są zamknięte pod lewym ilorazem?

13

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 }LΣ={a,b}LwΣ

w1L:={vwvL}

Jak mogę udowodnić, że jest regularny?w1L

corium
źródło

Odpowiedzi:

15

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 .MLwMqMMqMw1L

Teraz to udowodnij.

Dave Clarke
źródło
w1
Lw
(a+b)(a+b)L
@corium: Nie wiem, co oznacza twoje ostatnie zdanie.
Dave Clarke,
1

wXLXu1(w1L)=(wu)1Lw1LLLw1L

StefanH
źródło