-
Dowieść, że dla języka regularnego L⊆Σ∗ i dowolnego zbioru X⊆Σ∗ języki
X−1L={w:(∃v∈X)vw∈L}
LX−1={w:(∃u∈X)wu∈L}
są regularne.
- Dowieść, że język L jest regularny wtedy i tylko wtedy, gdy język LR słów stanowiących lustrzane odbicia słów z L jest regularny.
Uwaga. Lustrzane odbicie wR słowa w możemy w ścisły sposób zdefiniować rekurencyjnie: ϵR=ϵ i (wσ)R=σwR, dla w∈Σ∗, σ∈Σ.
- Dla danego automatu A rozpoznającego język L, skonstruować automat rozpoznający język
Cycle(L)={vu:uv∈L}
Czy z faktu, że język Cycle(L)={vu:uv∈L} jest regularny, można wnioskować, że język L jest regularny?
- Niech L bedzie językiem regularnym nad alfabetem {0,1}. Dowieść, że następujący język jest regularny:
{w:w∈L∧ spośróod słów o dlugości |w|, w jest najmniejsze w porządku leksykograficznym}|w|, w jest najmniejsze w porządku leksykograficznym
- Przyjmujemy, że każde niepuste słowo binarne w∈{0,1}∗, w=w1…wk, reprezentuje pewien ułamek w przedziale [0,1),
bin(w)=w112+w2122+…+wk12k
Dla liczby rzeczywistej r∈[0,1], niech
Lr={w:bin(w)≤r}
Dowieść, że język Lr jest regularny wtedy i tylko wtedy, gdy liczba r jest wymierna.
-
Podać przykład nieskończonego języka zamkniętego na branie podsłów, który nie zawiera nieskończonego języka regularnego.
-
Niech L będzie językiem regularnym. Dowieść, że następujące języki są również regularne:
- 12L=df{w:(∃u)|u|=|w|∧wu∈L}
- √L=df{w:ww∈L}
-
Niech L będzie językiem regularnym. Dowieść, że następujące języki są również regularne:
- Root(L)={w:(∃n∈N)wn∈L}
- Sqrt(L)={w:(∃u)|u|=|w|2∧wu∈L}
Wskazówka. n2=1+3+…(2n−1).
- Log(L)={w:(∃u)|u|=2|w|∧wu∈L}
Wskazówka. 2n=1+2+22+2n−1+1.
- Fibb(L)={w:(∃u)|u|=F|w|∧wu∈L}
gdzie Fn jest n-tą liczbą Fibonacciego tzn.
F1=F2=1
Fn+2=Fn+Fn+1
-
Dowieść, że dla dowolnego języka regularnego L, regularny jest również język
{w:w|w|∈L}.
- Niech będzie dany język regularny L i dowolne, niekoniecznie regularne, języki L1, …, Lm. Skonstruować skończony automat deterministyczny rozpoznający język nad alfabetem {1,…,m}
L={i1i2…ik:Li1Li2…Lik⊆L}
- Nietrywialnym palindromem nazwiemy każdy palindrom o długości co najmniej 2. Niech Pal\,>1Σ oznacza zbiór nietrywialnych palindromów nad alfabetem Σ. Dowieść, że język (Pal\,>1Σ)∗ jest regularny wtedy i tylko wtedy, gdy |Σ|=1.
Czy język ({wwR:w∈(0+1)∗})∗ jest regularny?
- Które z następujących języków nad alfabetem {0,1} są regularne?
- Zbiór słów posiadających nietrywialny palindrom jako prefiks.
- Zbiór słów posiadających palindrom długości parzystej jako prefiks.
- Zbiór słów posiadających nietrywialny palindrom długości nieparzystej jako prefiks.
-
Oznaczmy przez Ile(w,x) liczbę wystąpień słowa w jako podsłowo x (wystąpienia nie muszą być rozłączne). Czy następujący język nad alfabetem {a,b} jest regularny? Jeśli tak, to podać wyrażenie regularne. Jeśli nie, to udowodnić, że nie jest.
- L1={x : Ile(ab,x)=Ile(ba,x)+1}
- L2={x : Ile(aba,x)=Ile(bab,x)}
- Niech L będzie językiem regularnym. Dowieść, że języki:
- L+−−={w:(∃u)|u|=2|w|∧wu∈L}
- L++−={w:(∃u)2|u|=|w|∧wu∈L}
- L−+−={w:(∃u,v)|u|=|v|=|w|∧uwv∈L}
są językami regularnymi, a język
- L+−+={uv:(∃w)|u|=|v|=|w|∧uwv∈L}
może nie być regularny.
- Czy zachodzi fakt: jeśli L jest regularny to istnieja dwa niepuste słowa u,v takie, że zachodzi równość ilorazów L{uv}−1=L{vu}−1 ?
- Podać przykład języka nieregularnego L, takiego że L2 jest językiem regularnym.
- Dla słów u,v o tej samej długości, określamy odległość Hamminga
d(u,w)=|{i:wi≠vi}|.
Udowodnić, że dla dowolnego języka regularnego L i stałej K, następujący język jest również regularny:
{ w : (∃ u∈L) |u|=|w| oraz d(u,w)≤K }
-
Przeplotem słów w i v nazwiemy dowolne słowo długości |w|+|v|, które można rozbić na rozłączne podciągi w i v. Na przykład, przeplotami słów ab i acb są słowa abacb, aabcb, acabb, acbab, aacbb. Przeplotem języków L i M jest zbiór wszystkich możliwych przeplotów słów w∈L, v∈M. Język ten oznaczamy L∥M.
Dowieść, że jeśli L i M są językami regularnymi, to L∥M jest również regularny.
- Określamy L♯=L∪(L∥L)∪(L∥L∥L)∪…. Podać przykład języka regularnego L nad dwuelementowym alfabetem, dla którego L♯ nie jest językiem regularnym.
- Niech L1⊂L2 reularne języki, gdzue L2−L1 jest nieskończony. Pokazać, że istenieje język regularny L, t.że L1⊂L⊂L2, oraz L2−L, L−L1 są nieskończone.
- Definiujemy operację, która dla słowa xyz generuje słowo xyyz. Niech L będzie najmniejszym zbiorem zawierającym słowo abc i domkniętym ze względu na wprowadzoną operację. Czy L jest regularny ?
- Dla wektora α = (i1,i2,…in) definiujmy słowo w(α) z języka 1∗2∗..n∗ które zawiera dokładnie ik liter k. Niech Xn będzie zbiorem ciągów (i1,i2,…in) o współrzędnych z przedziału [1..n−2] , takich że in=ik, k=in−1.
Udowodnić, że skończony język Ln = {w(α) : α∈Xn} jest akceptowany przez dwukierunkowy det. automat skończony mający O(n) stanów, ale jednokierunkowy automat deterministyczny musi mieć wykładniczą liczbę stanów.
- Niech Pern będzie zbiorem wszystkich permutacji zbioru {1,2..n}, permutacje traktujemy tu jako słowa nad alfabetem {1,2..n}. Czy istnieje niedterministyczny automat skończony mający wielomianową liczbę stanów i akceptujący Pern, ile stanów musi mieć (co najmniej) deterministyczny automat ?
- Czy istnaieje automat deterministyczny wielomianowego rozmiaru dla nieskończoengo języka {1,2..n}∗−Pern ?
- Niech w będzie słowem długości n, udowodnij, że istnieje wyrażenie regularne rozmiaru O(n) opisujące zbiór wszystkich prefisków w (włącznie z w).
-
Niech w będzie słowem długości n, udowodnij, że istnieje wyrażenie regularne rozmiaru O(n) opisujące zbiór Σ∗−w.
-
Język jest palindromiczny gdy wszystkie jego słowa są palindromami. Niech A będzie niedet. automatem skończonym o n stanach. Udowodnij, że L(A) jest palindromiczny wtedy i tylko wtedy gdy język w∈L(A) : |w|<3n} jest palindromiczny.
-
Udowdnij, że istnieje niedet. automat skończony rozmiaru O(n) akceptujący tylko słowa niesymetryczne oraz dla słów w długości mniejszej niż n akceptuje w wtedy i tylko wtedy gdy w nie jest palindromem. Dla słów większej długości automat może nie akceptować pewnych słów niesymetrycznych.
-
Jako wniosek z dwu poprzednich zadań podaj efektywny algorytm sprawdzający czy język regularny jest palindromiczny.