Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

5
Welche bemerkenswerten Automatenmodelle haben einen polynomisch entscheidbaren Einschluss?
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M1)⊆L(M2)L(M_1) \subseteq …
5
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Eine Referenz für einen „algebraischeren“ Ansatz für Pushdown-Automaten und CFLs?
In dem Buch über die Automatentheorie von Sakarovitch heißt es in der Einleitung zum Abschnitt über Rationalitäten in der freien Gruppe, dass das darin vorgestellte Material "die Grundlage einer wirklich mathematischen Theorie kontextfreier Sprachen" bildet. Dies wird jedoch nicht explizit erwähnt, da kontextfreie Sprachen und Pushdown-Automaten den Rahmen des Buches …
2
Unäre Sprachen, die von deterministischen Gegenautomaten erkannt werden
2dcas (bidirektionale deterministische Ein-Zähler-Automaten) (Petersen, 1994) können die folgende unäre Sprache erkennen: P O W E R ={ 02n∣ n ≥ 0 } .POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Gibt es eine andere nichttriviale Sprache, die von 2dca erkannt wird? Beachten Sie, dass noch nicht …
3
Eigenschaften von zufällig gerichteten Diagrammen mit festem Abweichungsgrad
Ich interessiere mich für Eigenschaften von zufallsgerichteten Graphen mit festem Grad ddd . Ich stelle mir ein Zufallsgraphenmodell vor, in dem jeder Scheitelpunkt die Nachbarn auswählt (z. B. mit Ersetzung) Frage : Ist etwas über die stationäre Verteilung und Mischzeiten von Zufallsläufen in diesen Zufallsgraphen bekannt (für verschiedene Werte von …
1
Quadratisches Verhältnis zwischen nichtdeterministischem und deterministischem Raum?
Der Satz von Savitch zeigt, dass für alle ausreichend großen Funktionen f und der Beweis, dass dies eng ist, seit Jahrzehnten ein offenes Problem ist .NSPACE(f(n))⊆DSPACE(f(n)2)NSPEINCE(f(n))⊆DSPEINCE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Nehmen wir an, wir nähern uns dem Problem vom anderen Ende. Nehmen Sie der Einfachheit halber das boolesche Alphabet an. Der von …
1
Sind DPDAs ohne ein
In der formalen Beschreibung deterministischer Pushdown-Automaten erlauben sie Bewegungen, bei denen die Maschine Symbole auf den Stapel kopieren oder schieben kann, ohne ein Symbol von der Eingabe zu lesen. Wenn diese Bewegungen nicht zulässig sind und der Stapel nur einmal nach jedem Symbollesevorgang geändert werden kann, sind die resultierenden Automaten …
1
Kann ständige Mehrdeutigkeit die Zustandskomplexität einer regulären Sprache verringern?
Wir sagen , dass NFA ist ständig mehrdeutige Existieren k ∈ N , so dass jedes Wort w ∈ & Sigma; * durch entweder akzeptiert wird 0 oder (exakt) k Pfaden.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Wenn Automat für ständig mehrdeutig ist k = 1 , dann M heißt Eindeutiges FA (UFA).MMMk=1k=1k=1MMM Sei …
2
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 UFA\subset NFA Bekannte verwandte Automatenergebnisse: Die NFA-Minimierung ist PSPACE-Complete. Die NFA-Minimierung über …
1
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, dasselbe Ziel erreichen.ϵϵ\epsilon Offensichtlich können solche Variationen gebildet werden, aber …
1
Effiziente Verkettung von DFAs?
Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang hinzuzufügen und den resultierenden NFA zu bestimmen. …
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.