Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

2
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine?
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche Ideen?
1
Reguläre Ausdrücke mit Rückverweisen auf unäre Alphabete
Rahmen: reguläre Ausdrücke mit Rückverweisen unäre Sprache (1-Symbol-Alphabet) Kann das folgende Problem in dieser Einstellung behoben werden: Definiert ein regulärer Ausdruck mit Rückverweisen eine reguläre Sprache? Definiert beispielsweise (aa+)\1eine reguläre Sprache, während (aa+)\1+dies nicht der Fall ist. Können wir uns entscheiden, was der Fall ist? Der Vollständigkeit halber beziehen sich …
3
Anzahl der Wörter in der regulären Sprache
Laut Wikipedia existieren für jede reguläre Sprache LLL Konstanten λ1, … , Λkλ1,…,λk\lambda_1,\ldots,\lambda_k und Polynome p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) so dass für jedes nnn die Anzahl sL(n)sL(n)s_L(n) von Wörtern der Länge gilt nnn in LLL erfüllt die Gleichung sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Die Sprache L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} ist regulär …
2
Sprachen, die von modifizierten Versionen endlicher Automaten akzeptiert werden
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die Übergangsfunktion sollte eine (Gesamt-) Funktion sein.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times …
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.