Niech będzie językiem bezkontekstowym. Zdefiniować p p c ( L ) za przed i przyrostek zamknięcie L , innymi słowy, p p c ( L ) obejmują L jest prefiks i postfixes i stąd L siebie. Moje pytanie: jeśli L jest pozbawiony kontekstu i ma niejednoznaczną gramatykę, to czy to samo dotyczy p p c ( L )...
Aktualizacja: Wygląda na to, że ten problem został niedawno zbadany i rozwiązany, zobacz ten artykuł wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton A także tę ankietę: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Załóżmy, że zamiast zwykłego zestawu słów {0,1} *, nasze słowa...
Jestem zainteresowany niewielkim uogólnieniem DFA. Jak zwykle mamy ustawiony stan , skończony alfabet , działanie zdefiniowane na przez i stan początkowy ; lecz w zwykłym zestawem terminali wziąć rodziny podzbiorów . Wielojęzyczny DFA jest wtedy krotkąQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta...
Automat deterministyczny nazywa się k -lokalny dla k > 0, jeżeli dla każdego w ∈ X k zbiór { δ ( q , w ) : q ∈ Q } zawiera co najwyżej jeden element. Intuicyjnie oznacza to, że jeśli słowo w o długości k prowadzi do stanu, to ten stan jest unikalny lub inaczej niż dowolne słowo o...
W szczególności rozumiem przez dodanie, że to alfabet . Podane języki regularne i pod jakimś alfabetu , spojrzenie na . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣjaΣi\Sigma_i{ 0 , 1 , 2 , . . . , ja }{0,1,2,...,i}\{0, 1, 2, ..., i\}ZAAAbBBΣjaΣi\Sigma_iA × BA×BA\times B Dla każdej uporządkowanej pary...
Jakie jest standardowe podejście do minimalizacji Büchi-Automata (lub także Müller-Automata)? Przeniesienie zwykłej techniki ze słów skończonych, tj. Ustawienie dwóch stanów na równe, jeśli słowa „wyczerpania” stanów, które są akceptowane, są takie same, nie zadziała. Na przykład rozważmy, że...
Istnieje problem otwarty w językach formalnych znany jako problem oddzielający; co jest krótko określone jako dane dwa odrębne ciągi o długości , jak duży jest DFA, aby je „rozdzielić”, co oznacza przyjęcie jednego ciągu, ale odrzucenie drugiego.nnn Oto kilka odpowiednich dokumentów 1 , 2 . (Mam...
Niech zostanie podana liczba . Rozważ następujący język .nnnL.n= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} słowy, jest zbiorem ciągów kopii o długości . 2 nL.nLnL_n2 n2n2n Rozważmy następujący stan złożoność funkcji takie, że jest liczbą stanów w...
Rozważane tutaj przetworniki to te, które Wikipedia nazywa przetwornikami skończonymi . Zachowanie przetwornika , czyli relacja, którą oblicza, jest zapisywane : słowo jest wyjściem dla iff .[ T ] y x x [ T ] yT.TT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pytanie: Czy można rozstrzygnąć następujący...
DFA lub NFA odczytuje ciąg wejściowy z pojedynczą głowicą, przesuwając się od lewej do prawej. Naturalne wydaje się zastanawianie się nad maszynami o skończonym stanie, które mają wiele głowic , z których każda porusza się po wejściu od lewej do prawej, ale niekoniecznie w tym samym miejscu na...
Mam na myśli w szczególności rodziny języków, które dopuszczają dowolnie długie ciągi znaków - a nie koniunkcje na n bitach lub listach decyzyjnych lub jakimkolwiek innym „prostym” języku zawartym w {0,1} ^ n. Pytam o zwykłe języki „teoretyków automatycznych”, a nie teoretyków „logicznych”: coś w...
Z mojego doświadczenia wynika, że języki kontekstowe i automaty z ograniczeniami liniowymi są często pomijane lub przewijane na kursach teorii obliczeń, a nawet są pomijane w niektórych znaczących podręcznikach, chociaż automaty skończone i zmniejszające są bardzo popularne. Z pewnością musi...
Chciałbym wiedzieć, dlaczego do rozpoznawania języków bezkontekstowych działają tylko niedeterministyczne automaty wypychające (DPA = NPDA). Dlaczego deterministyczne automaty wypychające (DPDA) nie rozpoznają takich
Interesują mnie wydajne algorytmy przecięcia DFA w szczególnych przypadkach. Mianowicie, gdy DFA przecinają się, zachowują określoną strukturę i / lub działają na ograniczonym alfabecie. Czy jest jakieś źródło, w którym mogę znaleźć algorytmy takich przypadków? Aby pytanie nie było zbyt szerokie,...
Biorąc pod uwagę zwykły język L.LL na alfabecie ZAAA, jego minimalny deterministyczny automat może być postrzegany jako ukierunkowana połączona multigraf ze stałym stopniem | A ||A||A|i zaznaczony stan początkowy (poprzez zapomnienie etykiet przejść, stanów końcowych). Zachowujemy stan początkowy,...
Algorytm Brzozowskiego do przekształcania DFA w równoważny DFA stanu minimalnego jest niezwykle prosty: jeśli oznacza NFA utworzony przez odwrócenie wszystkich krawędzi w DFA , czyniąc stary stan początkowy stanem akceptującym i czyniąc starym akceptowaniem stwierdza początek stanów i jeżeli...
Czy niedeterministyczne liniowe automaty z ograniczoną liczbą odwiedzin rozpoznają tylko zwykłe języki? Przez niedeterministyczny automat związany liniowo (nLBA) mam na myśli niedeterministyczną maszynę Turinga z pojedynczą taśmą, w której dane wejściowe są „wyściełane” znakami końcowymi na obu...
Niech będzie alfabetem wielkości i rozważmy minimalne DFA, których rozmiar jest ograniczony co najwyżej . Niech oznacza liczbę różnych takich minimalnych DFA.ΣΣ\Sigma222mmmf(m)f(m)f(m) Czy możemy znaleźć formułę zamkniętą dla ?f(m)f(m)f(m) Biorąc pod uwagę, że dla funkcją przejścia DFA o...
Pozwolić ΣΣ\Sigmabyć skończonym alfabetem. kod XXX nad ΣΣ\Sigma jest podzbiorem Σ∗Σ∗\Sigma^* tak, że każde słowo w X∗X∗X^* może być jednoznacznie przedstawiony jako połączenie słów w XXX. KodXXXjest skończony, jeśli| X||X||X|jest skończony. Co wiadomo na temat (minimalnego) rozpoznawania...
Biorąc pod uwagę pełne DFA A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), możemy zdefiniować zbiór funkcji fafaf_a dla każdego a∈Γa∈Γa\in \Gammai z fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q, fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a). Możemy uogólnić to pojęcie na słowow=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m i...