Jeśli nie, to co to znaczy, że dla jakiegoś stanu qqq i jakiegoś symbolu zaaa , δ( q, a )δ(q,a)\delta(q, a) nie
Chcę przekonwertować wprowadzone przez użytkownika wyrażenie regularne na NFA, aby móc następnie uruchomić NFA dla łańcucha w celu dopasowania. Jakiej minimalnej maszyny można użyć do parsowania wyrażeń regularnych? Zakładam, że musi to być automat push, ponieważ obecność nawiasów oznacza...
Zastanawiałem się, ponieważ * jest sam język gwiazda wolna, czy istnieje język regularny, który nie jest językiem gwiazdy darmo? Czy możesz podać przykład?za∗za∗a^* (z wikipdii ) Lawson definiuje języki bez gwiazdek jako: Mówi się, że w zwykłym języku nie ma gwiazd, jeśli można go opisać...
Wiem więc, że sprawdzenie, czy zwykły język jest podzbiorem zwykłego języka jest rozstrzygalne, ponieważ możemy przekonwertować je oba na DFA, obliczyć , a następnie sprawdzić, czy ten język jest pusty.S R ∩ ˉ S.RRRS.S.SR ∩ S¯R∩S.¯R \cap \bar{S} Ponieważ jednak wymaga to konwersji do DFA, możliwe...
Biorąc pod uwagę dwa zbiory ciągów znaków nad alfabetem Σ , czy możemy obliczyć najmniejszy deterministyczny automat skończony (DFA) M taki, że A ⊆ L ( M ) i L ( M ) ⊆ Σ ∗ ∖ BA,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B ? Innymi słowy,...
Minimalizowanie deterministycznych automatów skończonych (DFA) to problem, który został dokładnie przestudiowany w literaturze, i zaproponowano kilka algorytmów w celu rozwiązania następującego problemu: Biorąc pod uwagę DFA , oblicz odpowiednią minimalną DFA akceptującą ten sam język, co \ mathscr...
Czy istnieje automat komórkowy (w 2D), który symuluje siłę między cząsteczkami?1/r1/r1/r Mówiąc dokładniej, chciałbym wiedzieć, czy przy ściśle lokalnych regułach aktualizacji możliwe jest przyciąganie dwóch obiektów (zdefiniowanych w modelu) siłą , gdzie jest odległością dzielącą obiekty. W...
Czy biorąc pod uwagę dwa DFA, problem ze znalezieniem, czy generują ten sam język, stanowi problem rozstrzygalny? Wiem już, że równość dwóch CFL nie jest rozstrzygalna ale co z równością dwóch DFA? biorąc pod uwagę, że większość problemów związanych z DFA jest rozstrzygalna, czy to również jest...
To może być głupie pytanie. Wydaje się jasne, że FSA, ponieważ jest skończona, może zliczyć tylko liczbę symboli w ciągu wejściowym do liczby ograniczonej liczbą stanów. Ale teraz załóżmy, że wyposażamy FSA w funkcje wyjściowe (np. Drukowanie). Byłoby wówczas bardzo łatwo zbudować maszynę zdolną do...
Mam prosty problem z utworzeniem DFA, który akceptuje wszystkie dane wejściowe zaczynające się od podwójnych liter (aa, bb) lub kończące się na podwójnych literach (aa, bb), biorąc pod uwagę, że jest zestawem alfabetu dany język.Σ={a,b}Σ={a,b}\Sigma =\{a, b\} Próbowałem rozwiązać to w sposób...
Miałem wrażenie, że nasze komputery, będąc skończone, ostatecznie nie są potężniejsze niż (wyjątkowo duże) skończone maszyny stanowe. Jednak maszyny Turinga liniowo ograniczone są również skończone, ale wydaje się, że zwykłe języki są ściśle niewłaściwym podzbiorem języków wrażliwych na...
W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T;...
Algorytm Brzozowskiego można rozszerzyć na automaty Moore'a, ale jego złożoność czasowa jest generalnie wykładnicza. Czy istnieje jakiś inny algorytm minimalizacji automatów Moore? Jakie są czasy działania tych algorytmów, jeśli takie
Jeśli dobrze rozumiem, NFA mają taką samą moc ekspresji jak wyrażenia regularne. Często odczytywanie równoważnych wyrażeń regularnych z NFA jest łatwe: przekładasz cykle na gwiazdy, skrzyżowania jako alternatywy i tak dalej. Ale co zrobić w tym przypadku: [ źródło ] Nakładające się cykle...
Widziałem strony internetowe, które rzekomo „dowodzą”, że HTML5 + CSS jest Turing Complete. Widziałem strony internetowe, które rzekomo „dowodzą”, że SQL jest Turing Complete. Widziałem kilka stron internetowych, które rzekomo „wyjaśniają”, co to znaczy być Turing Complete. Wystarczająco! Gdzie...
Opisz zwykły język, którego nie może zaakceptować żaden DFA, który ma tylko trzy stany. Nie jestem do końca pewien, od czego zacząć i zastanawiałem się, czy ktoś mógłby dać mi jakieś wskazówki lub porady. Rozumiem, że lematu pompującego można użyć do udowodnienia, że język nie jest regularny,...
Szukam specjalizacji z informatyki teoretycznej; szczególnie interesuje mnie teoria złożoności i teoria automatów probabilistycznych. Kiedy kończę rok, jakie zaawansowane kursy matematyczne (jak na przykład teoria Galois lub analiza harmoniczna) są przydatne do przejęcia kolejnych dwóch semestrów?...
Rozważmy maszynę skończoną jak zwykle, ale przy każdym przejściu może ona także aktualizować licznik liczb całkowitych, dodając lub odejmując liczbę. Powiedzmy, funkcja przejścia w postaci δ(q,a)=(p,k)δ(q,a)=(p,k)\delta(q,a) = (p,k) przechodzi do nowego stanu ppp i dodaje kkk do licznika,...
Lub przynajmniej wygeneruj zestaw ciągów, które akceptuje jeden NFA, więc mogę wprowadzić go do drugiego NFA. Czy jeśli przeszukam wszystkie ścieżki NFA, czy to zadziała? Chociaż zajmie to dużo
Wygłupiałem się z prezentacją Google Blocky's Maze i przypomniałem sobie starą zasadę, że jeśli chcesz rozwiązać labirynt, trzymaj lewą rękę przy ścianie. Działa to dla każdego prostego połączenia labiryntu i może być zrealizowane przez skończony przetwornik. Niech nasz robot będzie reprezentowany...