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
Zählen der Anzahl der von einer azyklischen NFA akzeptierten Wörter
Sei eine azyklische NFA.MMM Da azyklisch ist, ist endlich.L ( M )MMML(M)L(M)L(M) Können wir berechnenin Polynomzeit?|L(M)||L(M)||L(M)| Wenn nicht, können wir es annähern? Beachten Sie, dass die Anzahl der Wörter nicht mit der Anzahl der akzeptierenden Pfade in , was leicht berechenbar ist.MMM Lassen Sie mich einen offensichtlichen Ansatz erwähnen, der …
1
Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …
4
Funktioniert unser PC als Turingmaschine?
Funktioniert unser PC als Turingmaschine? Das Modell einer Turingmaschine besteht aus einem unendlichen Speicherband, was unendliche Zustände bedeutet. Angenommen, unser PC verfügt über 128 MB Speicher und 30 GB Festplatte, hat 256 ^ 30128000000 Zustände und somit endliche Zustände. Ich weiß, dass wir eine Art Programm schreiben können, das, wenn …
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 …
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 …
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 …
2
Programme rückwärts ausführen
Ich habe nie einen Debugger verwendet, der ein Programm rückwärts ausführen kann, aber ich würde es gerne tun. Jetzt frage ich mich, ob es viele Beweise und Theorien zur rückwärts laufenden Programmierung gibt, wann und warum ein Programm rückwärts ausgeführt werden kann oder wann und warum nicht? Intuitiv finde ich, …
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.