Ich erkenne, dass nicht deterministische Pushdown-Automaten eine Verbesserung gegenüber deterministischen darstellen können, da sie unter mehreren Zuständen "wählen" können und es einige kontextfreie Sprachen gibt, die von einem deterministischen Pushdown nicht akzeptiert werden können. Trotzdem...
Ich möchte wissen, ob das folgende Problem entscheidbar ist: Instanz: Eine NFA A mit n Zuständen Frage: Gibt es eine Primzahl p, so dass A eine Zeichenkette der Länge p akzeptiert? Meiner Meinung nach ist dieses Problem nicht zu entscheiden, aber ich kann es nicht beweisen. Der Entscheider kann...
Ich habe diese [irgendwie witzige] Frage im Kopf. Warum ist das nicht-deterministischen endlichen Automaten genannt nicht-deterministisch, während wir die Übergänge für Eingänge definieren. Nun, obwohl es mehrere und Epsilon- Übergänge gibt, sind diese definiert, was bedeutet, dass die Maschine für...
Definieren Sie in einer gegebenen Sprache LLL die Längenmenge von LLL als die Menge der Wortlängen in LLL : L S ( L ) = { | u | ∣ u ∈ L }LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Welche Mengen von Ganzzahlen können die Längenmengen einer regulären Sprache
Ich weiß, dass wir DFAs minimieren können, indem wir äquivalente Zustände finden und zusammenführen, aber warum können wir das nicht auch mit NFAs tun? Ich suche keinen Beweis oder ähnliches - es sei denn, ein Beweis ist einfacher zu verstehen. Ich möchte nur intuitiv verstehen, warum die...
Gegeben ein Alphabet Σ = { a , b }Σ={ein,b}\Sigma = \{ a,b \} , wie viele verschiedene reguläre Sprachen gibt es , dass durch ein akzeptiert werden kann nnn -state nicht-deterministischen endlichen Automaten? Betrachten wir als Beispiel n=3n=3n=3 . Wir haben dann 2182182^{18} verschiedene...
Morgen ist meine Präsentation und ich möchte meine Konzepte klären ... Ich habe gelesen, dass in DFA "Für jeden Zustand sollte der Übergang für alle möglichen Symbole (Alphabet) definiert werden." Ist für jeden Status die Definition des Übergangs für alle möglichen Symbole in DFA obligatorisch?...
Ich bin Programmierer mit einem Griff auf Automaten, aber nicht auf Logik. Ich habe in Zeitungen gelesen, dass die beiden sehr eng miteinander verbunden sind. Deterministische endliche Automaten (DFA), Baumautomaten und sichtbare Pushdown-Automaten sind alle mit der monadischen Logik zweiter...
Apropois zu Raffaels Vorschlag zum Schnittpunkt zweier NPDAs : Sei und NPDA für die kontextfreien Sprachen bzw. . Unter der Annahme, dass wir wissen, dass kontextfrei ist, können wir NPDA für (effektiv) konstruieren ?EIN1EIN1A_1EIN2EIN2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L = L_1 \cap L_2EINEINALLL...
Ich habe in Wikipedia und einigen anderen Texten gelesen, dass Das Problem des Anhaltens ist für [...] linear begrenzte Automaten (LBAs) und deterministische Maschinen mit endlichem Speicher [...] entscheidbar . Aber früher steht geschrieben, dass das Halteproblem ein unentscheidbares Problem ist...
Ich habe festgestellt, dass, wenn ich die Etymologie hinter einem CS / Programmierbegriff nicht verstehe, dies normalerweise bedeutet, dass ich ein wichtiges zugrunde liegendes Konzept verpasst oder missverstanden habe. Ich verstehe nicht, warum der Kleene-Stern auch als Kleene-Verschluss...
Ich habe gerade angefangen, über die Theorie der Berechnung zu lesen. Wenn wir vergleichen, was (beim Akzeptieren von Zeichenfolgen) mächtiger ist, sind beide gleich. Aber wie steht es mit der Effizienz? DFA ist im Vergleich zu NFA schnell, da es nur eine ausgehende Flanke hat und keine...
Gibt es in Conways Spiel des Lebens robuste Strukturen ? Hat zum Beispiel jemand ein Raumschiff mit einem Schild gebaut, das alle kleinen Oszillatoren und Segelflugzeuge absorbiert, mit denen es
Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung...
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten....
Ich bin neu in Automaten und habe erst gestern eine kurze Einführung in reguläre Ausdrücke erhalten. Ich habe die verschiedenen Regeln gelesen, um einen regulären Ausdruck zu definieren. Ich kann jedoch nicht zwischen regulären Ausdrücken und der Grammatik einer Sprache unterscheiden (mir wurde die...
Im Bild unten versuche ich herauszufinden, was genau diese NFA akzeptiert. Was mich verwirrt, ist der Sprung bei .ϵϵ\epsilonq0q0q_0 Wenn eine eingegeben wird, wechselt das System dann zu und (dem Akzeptanzstatus)?000q0q0q_0 q1q1q_1 Wenn eine eingegeben wird, wechselt das System zu und...
Ich weiß also, dass es entscheidend ist , zu testen, ob eine reguläre Sprache RRR eine Teilmenge der regulären Sprache SSS ist, da wir beide in DFAs konvertieren, berechnen R∩S¯R∩S¯R \cap \bar{S}und dann testen können, ob diese Sprache leer ist. Da dies jedoch eine Konvertierung in DFAs erfordert,...
Hier ist das Problem: Beweisen Sie, dass Single-Tape-Turing-Maschinen, die nicht auf den Teil des Bands schreiben können, der die Eingabezeichenfolge enthält, nur reguläre Sprachen erkennen. Meine Idee ist es zu beweisen, dass dieses spezielle TM einem DFA entspricht. Die Verwendung dieses TM zur...
Wenn nicht, dann , was bedeutet es , wenn aus irgendeinem Zustand und einige Symbole ein , δ ( q , a ) nicht existiert?qqqaeinaδ(q,a)δ(q,ein)\delta(q,