Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie


6
Welche Beziehung besteht zwischen Programmiersprachen, regulären Ausdrücken und formalen Sprachen?
Ich habe mich im Internet nach einer Antwort auf diese Frage umgesehen und es scheint, als ob jeder außer mir die Antwort implizit kennt. Vermutlich liegt das daran, dass die einzigen Menschen, die sich darum kümmern, diejenigen sind, die eine Hochschulausbildung zu diesem Thema absolviert haben. Andererseits wurde ich für …



3
Was sind die Bedingungen für eine NFA, damit ihre äquivalente DFA die maximale Größe hat?
Wir wissen, dass DFAs in ihrer Ausdruckskraft NFAs entsprechen; Es gibt auch einen bekannten Algorithmus zum Konvertieren von NFAs in DFAs (leider kenne ich jetzt den Erfinder dieses Algorithmus), der im schlimmsten Fall Zustände liefert , wenn unser NFA Zustände hat. S2S2S2^SSSS Meine Frage ist: Was bestimmt das Worst-Case-Szenario? Hier …

4
Gibt es in der konstruktivistischen Logik unentscheidbare Sprachen?
Konstruktivistische Logik ist ein System, das das Gesetz der ausgeschlossenen Mitte sowie die Doppelte Negation als Axiome entfernt. Es ist auf Wikipedia hier und hier beschrieben . Insbesondere erlaubt das System keinen Widerspruchsbeweis. Ich frage mich, ist jemand mit den Auswirkungen auf die Ergebnisse in Bezug auf Turingmaschinen und formale …






1
Maschinen für kontextfreie Sprachen, die durch Nichtdeterminismus keine zusätzliche Kraft erhalten
Bei der Betrachtung von Rechenmodellen für Maschinen wird die Chomsky-Hierarchie normalerweise durch (in der Reihenfolge) endliche Automaten, Push-down-Automaten, linear gebundene Automaten und Turing-Maschinen charakterisiert. Für die erste und letzte Ebene 1 (reguläre Sprachen und rekursiv aufzählbare Sprachen) spielt es für die Leistungsfähigkeit des Modells keine Rolle, ob deterministische oder nicht …

2
Werden kontextfreie Sprachen in
Die kontextfreien Sprachen werden nicht unter Ergänzung geschlossen, das wissen wir. Nach meinem Verständnis werden kontextfreie Sprachen, die für einige Buchstaben eine Teilmenge von sind, unter Komplement (!?) geschlossen.ein∗b∗a∗b∗a^*b^*a , ba,ba,b Hier ist mein Argument. Jede CF-Sprache hat ein halblineares Parikh-Bild . Semilineare Mengen werden unter Ergänzung geschlossen. Die Menge …



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.