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...
Gdzie mogę znaleźć wprowadzenie do automatów probabilistycznych i co one rozpoznają (niektóre funkcje od słów do )? Czy istnieje standardowy termin określający takie funkcje, które są rozpoznawane przez automaty probabilistyczne, analogiczne do „zwykłych języków”, dla których rozpoznają...
Nie wiadomo czy P⊆CSLP⊆CSLP\subseteq CSL lub P⊈CSLP⊈CSLP\not\subseteq CSL, gdzie PPP jest zbiorem wszystkich języków rozstrzygalnych w czasie wielomianowym na deterministycznej maszynie Turinga, oraz CSLCSLCSL jest klasą języków kontekstowych, znanych jako równoważne...
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...
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...
Czy istnieją permutacje i wielkość wielomianowa (w ) gramatyka bezkontekstowa opisująca język skończony zamiast alfabetu ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} AKTUALIZACJA: Dla jednej permutacji jest to możliwe. jest odwróceniem lub...
Parsery wykresów mogą być implementowane w oparciu o normalną postać Chomsky'ego lub bezpośrednio w oparciu o reguły produkcji. Załóżmy na chwilę, że mamy parser wykresu CYK, który używa normalnej postaci Chomsky'ego. Binaryzacja nie jest jednoznacznie zdefiniowana. Czy wpływa to na wydajność...
Zastanawiałem się, jakie zestawy języków są generowane przez ograniczenia wyrażeń regularnych. Załóżmy, że wszystkie ograniczenia mają stały symbol dla każdego elementuΣΣ\Sigmai konkatenacja. Następnie można utworzyć osiem klas poprzez obecność lub brak dopełniacza / negacji, zmiany / unii i...
Uczę się algebraicznej teorii parsowania. Moim pierwszym problemem jest zidentyfikowanie przykładów semieralnych, które są specyficzne dla formalnej teorii języka. Oto próba skonstruowania dwóch przykładów. 1 Biorąc pod uwagę gramatykę CNF, elementy semeryzacji są zestawami symboli terminalnych i...
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
Jaki jest stosunek niejednoznacznych CFG do wszystkich CFG ? Ponieważ oba zestawy są w nieskończoność nieskończone, stosunek nie jest dobrze zdefiniowany. Ale co z asymptotyczną gęstością : limn ↦ ∞# niejednoznaczny CFG o rozmiarze < n# CFG o wielkości < nlimn↦∞# niejednoznaczny CFG...
Pozwolić AAAbyć skończonym alfabetem. Dla danego języka składniowym monoid jest dobrze znanym pojęciem w teorii język form. Co więcej, monoid rozpoznaje język jeśli istnieje morfizm taki, że .L⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to...
Istnieje wiele różnych modeli definiowania transformacji między językami. Przetworniki stanu skończonego i transformacje grafu definiowane przez MSO na grafach łańcuchowych to dwa, z którymi najlepiej się znam. Wiemy, że dwudrożne przetworniki stanu skończonego (które są bardziej ekspresyjne niż...
Czy istnieją jakieś wyniki w rozwiązywaniu problemów języków formalnych za pomocą analizy matematycznej, matematyki ciągłej. Na przykład rozwiązanie problemu braku pustki na skrzyżowaniu dla języka bezkontekstowego i języka