Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

2
Bitte erläutern Sie "Entscheidbarkeit" und "Überprüfbarkeit".
Ich versuche (intuitiv) die beiden Begriffe "Entscheidbarkeit" und "Überprüfbarkeit" zu verstehen. Ich habe die verschiedenen Texte, die ich in die Hände bekommen kann, angemessen durchsucht und durchgesehen. Ihr intuitives Verständnis scheint mir jedoch zu entgehen, besonders für das zweite. Von den vielen gefundenen Definitionen hat mir die folgende auf dieser …
1
Gibt es eine streng nicht deterministische Ein-Zähler-Sprache, deren Komplement Ein-Zähler ist?
Sei A = {L ∣ L.ist ein Zähler und L.¯ ist auch ein Zähler }EIN={L.∣L.ist ein Zähler und L.¯ ist auch ein Zähler}}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Es ist klar, dassDeterministischer Einzähler ⊆ A.Deterministischer Einzähler⊆EIN\text{Deterministic one-counter} \subseteq A Ist es der Fall, dass …
3
Beweise mit dem regulären Pump-Lemma
Ich habe zwei Fragen: Ich betrachte die folgende Sprache L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Mit anderen Worten, www ist kein Palindrom mit gerader Länge. Ich habe bewiesen, dass diese Sprache NICHT regelmäßig ist, indem ich bewiesen habe, dass ihre Ergänzung nicht regelmäßig ist. …
1
Kann
Ich versuche mir die Berechenbarkeitstheorie mit einem Lehrbuch beizubringen. Nach meinem Buch ist eine Funktion über einem Alphabet ist nur in der Sprache berechenbarA = { a , b , c , d , e , f , g , h , i , j , k , l , …
2
Wie zeige ich, ob ein PDA eine Zeichenfolge akzeptiert
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie Grammatiken dieselbe Sprache akzeptieren. Ich bin mir jedoch …
3
Der Nachweis, dass die Sprache, die aus allen Zeichenfolgen in einer Sprache besteht, dieselbe Länge hat wie eine Zeichenfolge in einer anderen Sprache, ist normal
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …
1
Formale Beschreibung einer neuen domänenspezifischen Programmiersprache
Ich bin dabei, eine domänenspezifische Sprache zur Darstellung sozialer Lernkonventionen zu implementieren. Teil der Implementierung ist eine formale Beschreibung einer Sprache - ihrer 'Analysis', Symbole und logischen Ausdrücke. Mein Ansatz wäre es, die Sprache durch Beschreibung ihrer Grammatik zu beschreiben, aber es gibt auch Konzepte wie Beziehungen, Dialoge, Erwartungen, die …
1
Ist diese Sprache kontextfrei?
Ist die Sprache L={a,b}∗∖{(anbn)n∣n≥1}L.={ein,b}}∗∖{(einnbn)n∣n≥1}}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} kontextfrei? Ich glaube, dass die Antwort ist, dass es keine CFL ist, aber ich kann es nicht durch Ogdens Lemma oder Pumping Lemma beweisen.
1
Nachweis der Schließung unter Ergänzung von Sprachen, die von Min-Heap-Automaten akzeptiert werden
Dies ist eine Folgefrage von dieser . In einer früheren Frage zu exotischen Zustandsautomaten haben Alex ten Brink und Raphael die Rechenfähigkeiten einer besonderen Art von Zustandsmaschine angesprochen: Min-Heap-Automaten. Sie konnten zeigen, dass die von solchen Maschinen akzeptierte Menge von Sprachen ( ) weder eine Teilmenge noch eine Obermenge der …
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.