Pytania otagowane jako formal-languages

Pytania dotyczące języków formalnych, gramatyki i teorii automatów

2
Maszyny Turinga z pojedynczą taśmą z wejściem chronionym przed zapisem rozpoznają tylko zwykłe języki
Oto problem: Udowodnij, że maszyny Turinga z pojedynczą taśmą, które nie mogą pisać na części taśmy zawierającej łańcuch wejściowy, rozpoznają tylko zwykłe języki. Moim pomysłem jest udowodnienie, że ta konkretna baza TM jest odpowiednikiem DFA. Używanie tej TM do symulacji DFA jest bardzo proste. Jednak gdy chcę użyć tego DFA …
3
Znaczenie normalnych form, takich jak normalna forma Chomsky'ego dla CFG
Rozumiem, że gramatyki bezkontekstowe mogą być używane do reprezentowania języków bezkontekstowych. Mogą być niejasne. Mamy również normalne formy, takie jak normalna postać Chomsky'ego i Greibacha . Nie mogłem zrozumieć takiej potrzeby. Dlaczego są ważne w teorii języków? Wszystkie podręczniki, o których mówiłem, mówią o tych normalnych formach, ale nie mówią …
2
Jeśli
Na przykład, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Jak więc możemy udowodnić, że L∗L∗L^* jest regularne? Jeśli LLL jest regularne, to oczywiście L∗L∗L^* jest również regularne. Jeśli LLL jest skończone, to jest regularne i znowu L∗L∗L^* jest regularne. Zauważyłem również, że dla L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid …
1
Gödelizacja w maszynie Turinga
Patrzyłem na kurs Gödelization w teorii teorii obliczeń. Mogłem zrozumieć koncepcje numeracji Gödla, ale nie mogłem zrozumieć ich znaczenia w teorii obliczeń. Czy ktoś mógłby wskazać jakieś dobre materiały lub wskazać jego znaczenie.
7
Czy
Jeśli jest regularne, to czy wynika z tego, że jest regularne? AA2A2A^2AAA Moja próba na dowód: Tak, ponieważ sprzeczność zakłada, że nie jest regularne. Następnie .A 2 = A ⋅ AAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A Ponieważ łączenie dwóch nieregularnych języków nie jest regularne, nie może być regularne. Jest to sprzeczne …
2
Czy język wyrażeń regularnych wymaga automatycznych mechanizmów wypychania w celu jego parsowania?
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 konieczność liczenia, a DFA / NFA nie może wykonać dowolnego liczenia. …
4
Operacje, w których klasa nierozstrzygalnych języków nie jest zamknięta
Czy istnieją nierozstrzygalne języki, tak że ich związek / język przecięcia / konkatenacji jest rozstrzygalny? Jaka jest fizyczna interpretacja takiego przykładu, ponieważ ogólnie nierozstrzygalne języki nie są zamknięte w ramach tych operacji? Co możemy powiedzieć o zamknięciu kleene? Czy mamy też na to przykłady? Czy to znaczy, że zamknięcie nierozstrzygalnego …
2
Czy wszystkie języki bezkontekstowe i zwykłe są skutecznie rozstrzygalne?
Natknąłem się na ten rysunek, który pokazuje, że języki kontekstowe i zwykłe są (odpowiednimi) podzbiorami sprawnych problemów (podobno ). Doskonale rozumiem, że wydajne problemy stanowią podzbiór wszystkich rozstrzygalnych problemów, ponieważ możemy je rozwiązać, ale może to zająć bardzo dużo czasu.P.P\mathrm{P} Dlaczego wszystkie bezkontekstowe i regularne języki są skutecznie rozstrzygalne? Czy …
2
Jaka jest złożoność problemu pustki dla dwukierunkowych DFA?
Zastanawiam się, jaka jest złożoność czasowa określania pustki dla dwukierunkowych DFA? Oznacza to, że skończone automaty mogą przesuwać się wstecz na swojej taśmie wejściowej tylko do odczytu. Według Wikipedii są one równoważne DFA, chociaż równoważny DFA może być wykładniczo większy. Znalazłem złożoność stanu dla ich uzupełnień i skrzyżowań, ale nie …
4
Język bez gwiazdek a język zwykły
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ć wyrażeniem regularnym zbudowanym z liter …
1
Wykazać, że dopełnienie
Chcę udowodnić, że dopełnienie nie używa regularnie właściwości zamknięcia.{ 0n1n| N ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Rozumiem, że można użyć lematu pompującego, aby udowodnić, że nie jest zwykłym językiem. Rozumiem również, że zwykłe języki są zamknięte w ramach operacji uzupełniania. Czy to jednak oznacza również, że uzupełnienie języka nieregularnego …
2
Przypuszczenia matematyczne równoważne zatrzymaniu maszyny Turinga
To pytanie dotyczy tego, czy każde twierdzenie matematyczne można sprowadzić do pytania, czy zatrzyma się pojedyncza maszyna Turinga. W szczególności interesują mnie przypuszczenia, które są obecnie niesprawdzone. Na przykład: Wikipedia mówi , że obecnie nie wiadomo, czy są jakieś nieparzyste liczby idealne. Ponieważ można rozstrzygnąć, czy dana liczba jest idealna, …
1
Jak szybko możemy zdecydować, czy dany DFA jest minimalny?
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 {A} . Większość tych algorytmów działa w czasie wielomianowym.ZAA\mathscr{A}ZAA\mathscr{A} Zastanawiam się jednak, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.