Als «automata-theory» getaggte Fragen

16
Gibt es Varianten von sichtbaren Pushdown-Automaten, mit denen Wörter auf den Stapel geschoben werden können?

Ich frage mich, ob es Papiere oder Forschungsergebnisse gibt, die sich mit sichtbaren Pushdown-Automaten befassen, aber es erlaubt, dass Wörter anstatt einzelner Buchstaben auf den Stapel geschoben werden. Alternativ könnte eine Konstruktion, mit der Symbole auf symbols- verschoben werden können,...

16
Wie klein kann ein NFA sein, verglichen mit dem minimalen eindeutigen endlichen Automaten (UFA) derselben regulären Sprache?

Eindeutige endliche Automaten (UFA) sind spezielle Arten nicht deterministischer endlicher Automaten (NFA). Eine NFA wird als eindeutig bezeichnet, wenn jedes Wort höchstens einen akzeptierenden Pfad hat.w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^* Dies bedeutet .D FA ⊂ UFA ⊂ NFEINDFEIN⊂UFEIN⊂NFEINDFA\subset...

14
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?

Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...

13
Automatenlernen ohne Gegenbeispiele

In Angluins Automaten-Lern-Framework möchte ein Schüler eine reguläre Sprache lernen, indem er seinem Lehrer zwei Arten von Fragen stellt:L ⊆ & Sgr;∗L⊆Σ∗L\subseteq \Sigma^* Wortabfragen: , ist ?w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Equivalence Anfragen: Da eine Sprache , ist ? Wenn...