Napotkałem ten problem związany z manipulowaniem językiem bezkontekstowym. Niech będzie językiem bezkontekstowym. Zdefiniuj dla każdego . Czy zawsze jest pozbawione kontekstu? Domyślam się, że zachowa kontekstowość. Czy ktoś może przedstawić podstawowy dowód na to?LL.LL#={x:xi∈LL.#={x:xja∈L.L^{\#} = \{ x : x^i \in Li=0,1,2,...}ja=0,1,2),...}i=0,1,2,...\}L#L.#L^{\#}
Kilka tygodni temu podjąłem egzaminy z teorii obliczeń i było to jedno z pytań: Załóżmy, że językL = { (zanbm)r∣ n , m , r ≥ 0 }L.={(zanbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Czy L jest regularny? Jeśli tak, podaj wyrażenie regularne lub automat. Po tym, jak krótko zapytałem go o odpowiedź …
W artykule Parsing Expressions by Recursive Descent autorstwa Theodore Norvell (1999) autor zaczyna od następującej gramatyki wyrażeń arytmetycznych: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v co jest …
Biorąc pod uwagę język , jak mogę powiedzieć bezpośrednio, nie patrząc na reguły produkcji, że ten język nie jest regularny?L = {zanbndon}L.={zanbndon} L= \{a^n b^n c^n\} Mógłbym użyć lematu pompującego, ale niektórzy mówią tylko patrząc na gramatykę, że to nie jest normalne. Jak to jest możliwe?
Chciałbym skorzystać z Twojej pomocy przy następującym problemie: L = { ⟨ M⟩ ∣ L ( M) jest pozbawiony kontekstu }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Pokaż, że .L ∉ R E∪ C.o R EL∉RE∪CoREL \notin RE \cup CoRE Wiem, że aby udowodnić , wystarczy znaleźć …
Utknąłem, rozwiązując następne ćwiczenie: Argumentuj, że jeśli L.LL jest bezkontekstowy i RRR jest zatem regularny L / R = { w ∣ ∃ x ∈ Rśww x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (tj. odpowiedni iloraz ) jest pozbawiony …
Zacząłem studiować niedeterministyczne automaty, korzystając z książki Hopcroft i Ullman . Utknąłem w problemie, który uznałem za bardzo interesujący: Daj niedeterministyczny automat skończony akceptujący wszystkie ciągi, które mają tę samą wartość, gdy są oceniane od lewej do prawej, od prawej do lewej, mnożąc zgodnie z poniższą tabelą: ×zabdozazadobbzazadododobza×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.