Nowatorski dowód pompowania lematu dla zwykłych języków


14

Niech będzie rodziną wszystkich języków Σ spełniającą właściwości pompowania zwykłych języków. Mianowicie: dla każdego L ∈ L jest N ∈ N każde słowo w ∈ L , | w | > N można zapisać w postaci w = x y z gdzie: 1. | y | > 0 , 2. | x y | ≤ N , 3. x y i zLΣL∈LN∈Nw∈L|w|>Nw=xyz|y|>0|xy|≤N dla wszystkich i ≥ 0 .xyiz∈Li≥0

Jest to proste ćwiczenie [1], aby udowodnić, że zawiera języki singletonu L = { σ } , σ ∈ Σ i jest zamknięty w związku zjednoczenia, konkatenacji i gwiazdy Kleene. Powszechnie wiadomo również, że rodzina języków zwykłych jest najmniejsza, która zawiera singletony i jest zamknięta w związku zjednoczenia, konkatenacji i gwiazdy Kleene. Wniosek: zwykłe języki spełniają właściwość pompowania.LL={σ}σ∈Σ

Pytanie: czy ktoś widział ten dowód w literaturze? [1] Zaproponowany przez D. Berenda.

Odpowiedzi:


Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.