Zastanawiam się, czy są jakieś dokumenty lub badania dotyczące widocznych automatów przesuwających w dół, ale pozwalające na wypychanie słów zamiast pojedynczych liter na stos. Alternatywnie, konstrukcja umożliwiająca wypychanie symboli na -transitions może osiągnąć ten sam...
Jednoznaczne automaty skończone (UFA) są specjalnym typem niedeterministycznych automatów skończonych (NFA). NFA jest nazywany jednoznacznym, jeśli każde słowo ma co najwyżej jedną ścieżkę akceptującą.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Oznacza to, .D F.A ⊂ UfaA ⊂ NfaZArefaZA⊂UfaZA⊂N.faZADFA\subset...
Dla języka L ⊆ Σ ^ * zdefiniować składniowej identyczność ≡ z L co najmniej zbieżność na Ď ^ * że nasycone L , tj u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Teraz zdefiniuj równoważność Nerode jako następującą prawą zgodność: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Niech [u] będzie klasą równoważności u w...
W formalnym opisie deterministycznych automatów wypychających pozwalają one na ruchy , w których maszyna może wyskakiwać lub pchać symbole na stos bez odczytywania symbolu z wejścia. Jeśli te ϵ ruchy są niedozwolone, a stos można zmodyfikować tylko raz po odczytaniu każdego symbolu, czy wynikowe...
Mówimy, że NFA jest stale niejednoznaczny, jeśli istnieje tak że każde słowo jest akceptowane przez lub (dokładnie) ścieżek.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jeśli automat jest stale niejednoznaczny dla , wówczas nazywa się Jednoznacznym FA (UFA).MMMk=1k=1k=1MMM Niech będzie...
Istnieją teoretyczne dowody na to, że naiwna konstrukcja produktu kartezjańskiego na przecięciu DFA jest „najlepsza, co możemy zrobić”. Co z konkatenacją dwóch DFA? Trywialna konstrukcja polega na przekształceniu każdego DFA w NFA, dodaniu przejścia epsilon i określeniu wynikowego NFA. Czy możemy...
Tło: Biorąc pod uwagę dwa deterministyczne automaty skończone A i B, tworzymy iloczyn C, pozwalając, by stany w C były iloczynem kartezjańskim stanów w A i stanów w B. Następnie wybieramy stany przejściowe, początkowe i końcowe, aby język został zaakceptowany przez C to przecięcie języków dla A i...
Niech będzie rodziną wszystkich języków Σ spełniającą właściwości pompowania zwykłych języków. Mianowicie: dla każdego L ∈ L jest N ∈ N każde słowo w ∈ L , | w | > N można zapisać w postaci w = x y z gdzie: 1. | y | > 0 , 2. | x y | ≤ N , 3. x y i...
Lemat: Zakładając, że równoważność eta istnieje (\x -> ⊥) = ⊥ :: A -> B. Dowód: ⊥ = (\x -> ⊥ x)przez eta-równoważność i (\x -> ⊥ x) = (\x -> ⊥)redukcję pod lambda. Raport Haskell 2010, rozdział 6.2 określa seqfunkcję na podstawie dwóch równań: seq :: a -> b -> b seq ⊥ b =...
Niedeterministyczne automaty Xor (NXA) są składniowo NFA, ale mówi się, że słowo jest akceptowane przez NXA, jeśli ma nieparzystą liczbę ścieżek akceptacji (zamiast co najmniej jednej ścieżki akceptacji w przypadku NFA). Łatwo zauważyć, że dla skończonego języka regularnego LLL istnieje minimalny...
Według Zoo Złożoności , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} i wiemy, że RegReg\mathsf{Reg} nie może się liczyć, więc TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Jednakże nie mówi, czy Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0} czy nie. Ponieważ nie znamy...
Czytam „ Łączenie zwykłych języków i złożoności opisowej ” Galiny Jiraskowej z 2009 r. Na temat złożoności państwa wynikającej z połączenia dwóch zwykłych języków (Galiny Jiraskowej), ale nie rozumiem, jakie byłyby praktyczne implikacje złożoności państwa . Pierwszą trywialną myślą, która mnie...
Niech będzie jakimś językiem, a następnie zdefiniujemy spójność syntaktyczną jako u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L i iloraz monoidu X ∗ / ∼ L wynosi nazywany składniowym monoid z L .L ⊆ X∗L⊆X∗L \subseteq X^{\ast}u ∼ v : ⇔ ∀ x , y∈ X∗: x u y∈ L ↔ x v y∈ L.u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u...
Czy istnieje jakaś znana „ładna” hierarchia L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (może być skończona) w klasie zwykłych języków LLL ? Przyjemnie tutaj, klasy w każdej hierarchii przechwytują różną ekspresję / siłę / złożoność. Przynależność do każdej klasy jest...
Biorąc pod uwagę skończony (deterministyczny lub niedeterministyczny, nie sądzę, że ma to duże znaczenie) automat A i próg n , czy A akceptuje słowo zawierające najwyżej n odrębnych liter? (Przez k różnych liter rozumiem, że aabaa ma dwie różne litery, a i b .) Pokazałem, że ten problem jest...
W programie do nauki automatów Angluin , uczeń chce nauczyć się zwykłego języka , zadając swojemu nauczycielowi dwa rodzaje pytań:L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Zapytania słowne: biorąc pod uwagę , czy ?w∈Σ∗w∈Σ∗w\in \Sigma^*w∈Lw∈Lw\in L Zapytania o równoważność: biorąc pod uwagę język , czy ? Jeśli...
Co wiadomo o klasie języków rozpoznawanych przez automaty skończone posiadające ten sam stan początkowy i akceptacji? Jest to właściwy podzbiór zwykłych języków (ponieważ każdy taki język zawiera pusty ciąg znaków), ale jak bardzo jest słaby? Czy istnieje prosta charakterystyka algebraiczna? To...
Ucząc, jak implementować FSM przy użyciu synchronicznych obwodów logicznych, zauważyłem intrygujący zbieg okoliczności: zarówno w teoretycznym świecie CS, jak iw świecie elektrotechniki „stan” jest zwykle oznaczany jako (i przestrzeń stanu Q ). Najpierw zapytałem na EE.sx , ale potem, badając nieco...
Mam więc około 100-200 bardzo rzadkich kwadratowych macierzy boolowskich o długości boku ~ kilkudziesięciu i muszę obliczyć ich iloczyn. Wiem, że jeśli pomnożę je szeregowo, produkt zwykle pozostanie tak rzadki na każdym kroku. Czy w tym przypadku są jakieś algorytmy łańcucha macierzy, które...
Automaty szczątkowego stanu skończonego (RFSA, zdefiniowane w [DLT02]) to NFA, które mają kilka fajnych cech wspólnych z DFA. W szczególności zawsze istnieje kanoniczny minimalny rozmiar RFSA dla każdego zwykłego języka, a język rozpoznawany przez każdy stan w RFSA jest resztkowy, podobnie jak w...