Als «automata» getaggte Fragen

Fragen zu mathematischen Geräten, die einen Eingabestream Symbol für Symbol lesen und eine Zustandsübergangskarte verwenden, um einen Ausgabestream zu erzeugen, möglicherweise unter Verwendung eines Sekundärspeichers.

2
Was ist der Ursprung von λ für eine leere Zeichenkette?
Normalerweise benutze ich das Symbol für eine leere Zeichenkette (leeres Wort oder leere Zeichenkette). Aber ich weiß, dass manche Leute λ anstelle von ε verwenden .εε\varepsilonλλ\lambdaεε\varepsilon Ich denke, leitet sich vom Wort "Leer" ab. Ich weiß jedoch nicht, woher λ stammt .εε\varepsilonλλ\lambda In der Automatentheorie gibt es den Epsilon-Übergang von …
4
Push-Down-Automaten "raten" - was bedeutet das?
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 verstehe ich nicht, wie genau sie "wählen". Für Palindormes sagt zum Beispiel jede Quelle, die …
2
Wie kam es, dass das Wort „Produktion“ im Kontext der Informatik ein Synonym für das Wort „Regel“ war?
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 kein englischer Muttersprachler, aber ich weiß, dass sich eine …
3
Warum wird der Kleene-Star-Operator auch als "Closure" -Operator bezeichnet?
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 bezeichnet wird. Handelt es sich um Programmierschließungen, eine Funktion mit gebundenen nichtlokalen …
4
Brückensätze für Gruppentheorie und formale Sprachen
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 zwischen Halbgruppen und CS-Sprachen bekannt ist (nämlich über …
1
Monadic Second Order Logic für Dummies
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 Ordnung (MSO) verwandt. Obwohl ich die Automaten verstehe und die …
3
Wie verwendet eine NFA Epsilon-Übergänge?
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 ?111q1q1q_1q2q2q_2 Geht das System nur dann nach (Accept State), …
2
Single-Tape-Turing-Maschinen mit schreibgeschütztem Eingang erkennen nur reguläre Sprachen
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 Simulation von DFA ist sehr einfach. Wenn …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.