Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

3
Warum Sprachen in der Komplexitätstheorie verwenden?
Ich beginne gerade mit der Berechnungstheorie, die untersucht, was wie schnell berechnet werden kann, wie viel Speicher verwendet wird und mit welchem ​​Rechenmodell. Ich habe eine ziemlich grundlegende Frage, hoffe aber wirklich, dass einige von euch mir helfen können, das Konzept dahinter zu verstehen: Warum dreht sich alles um den …
4
Gibt es eine unentscheidbare endliche Sprache endlicher Wörter?
Gibt es einen Bedarf für L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* sein unendlich unentscheidbar zu sein? Ich meine , was ist, wenn wir eine Sprache wählen L′L′L' sein eine begrenzte endliche Version von L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* , das heißt |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ) mit L′⊂LL′⊂LL' \subset L . Kann L′L′L' eine …
5
Sprache der Werte einer affinen Funktion
Schreiben Sie für die Dezimalerweiterung von (ohne führenden ). Sei und ganze Zahlen mit . Betrachten Sie die Sprache der Dezimalerweiterungen der Vielfachen Plus-Konstante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Ist regelmäßig? kontextfrei?MMM (Kontrast zur Sprache des Graphen einer affinen Funktion ) Ich denke, dies wäre …
5
Gibt es eine bekannte Methode zum Erstellen einer Grammatik bei einer endlichen Menge endlicher Zeichenfolgen?
Aus meiner Lektüre geht hervor, dass es bei den meisten Grammatiken darum geht, eine unendliche Anzahl von Zeichenfolgen zu erzeugen. Was ist, wenn Sie umgekehrt gearbeitet haben? Wenn n Zeichenfolgen mit einer Länge von m angegeben werden, sollte es möglich sein, eine Grammatik zu erstellen, die diese Zeichenfolgen und nur …
1
Wie kann ws mit | w | = | s | und w ≠ s kontextfrei sein, während w # s nicht ist?
Warum macht (wenn ja) der Separator ##\# einen Unterschied zwischen den beiden Sprachen? Nehmen wir mal an: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | w | = | s |w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Hier ist ein …
3
Warum bleibt der Zustand in der kleinen operativen Semantik einer while-Schleife unverändert?
Normalerweise sehe ich, dass sich in der strukturellen Darstellung der operativen Semantik für die while-Schleife der Programmstatus nicht ändert: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Für mich ist dies nicht intuitiv. Wenn …
3
Kontextsensitive Grammatik für die Sprache der mit sich selbst verketteten Wörter
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die "Mitte" des Wortes angibt. Gibt es einen Trick …
1
Bewahrt die folgende Transformation die Kontextfreiheit?
Ich bin auf dieses Problem gestoßen, bei dem eine kontextfreie Sprache manipuliert wurde. Sei eine kontextfreie Sprache. Definieren Sie für jedes . Ist immer kontextfrei? Ich vermute, dass dadurch die Kontextfreiheit erhalten bleibt. Kann jemand einen elementaren Beweis dafür liefern?LLLL#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in Li=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}L#L#L^{\#}
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.