Es ist bekannt, dass das folgende Problem PSPACE-vollständig ist: Ist wenn der reguläre Ausdruck ist ?L ( β ) = Σ *ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Was ist mit der Bestimmung der Äquivalenz zu anderen (festen) regulären Ausdrücken ?αα\alpha Unter normalen Ausdruck , tut ?L ( β ) = L ( α...
Das pumpfähige Lemma für reguläre Sprachen kann durch Betrachtung eines Automaten mit endlichen Zuständen bewiesen werden, der die untersuchte Sprache erkennt, eine Zeichenfolge mit einer Länge auswählt, die größer als die Anzahl der Zustände ist, und das Taubenlochprinzip anwendet. Das pumpfähige...
Definieren Sie die folgende Klasse von "zirkulären" Sprachen über ein endliches Alphabet Sigma. Tatsächlich gibt es den Namen bereits, um etwas anderes zu bezeichnen, das auf dem Gebiet des DNA-Computing verwendet wird. AFAICT, das ist eine andere Klasse von Sprachen. Eine Sprache L Kreis iff für...
In Programmiersprachen ist es beispielsweise üblich, einen X-in-X-Compiler / -Interpreter zu schreiben, aber auf einer allgemeineren Ebene können sich viele bekannte Turing-complete-Systeme auf beeindruckende Weise selbst simulieren (z. B. Simulation von Conways Spiel des Lebens in Conways Spiel...
Ein DFA verfügt über ein Synchronisationswort, wenn eine Zeichenfolge vorhanden ist, die einen beliebigen Status des DFA an einen einzelnen Status sendet. In "The Cerny Conjecture for Aperiodic Automata" von AN Trahtman (Diskrete Mathematik und Theoretische Informatik, Band 9: 2, 2007, S. 3-10)...
Die meisten modernen Implementierungen von regulären Ausdrücken, wie die in Perl oder .NET, gehen mit Funktionen wie Lookahead und Lookbehind über die klassische computerwissenschaftliche Definition von REGEXes hinaus. Lassen diese Funktionen Anweisungen analysieren, die mit einem endlichen...
Ich möchte folgende Vermutung beweisen (oder widerlegen): Vermutung : Ein Zwei-Zähler-Automat (2CA) kann die folgende Sprache nicht bestimmen: n }L = { n ∣L={n∣L = \{ n \mid der ternären und der binären Darstellung von hat sowohl gerade als auch ungerade Längennn}}\} Ein 2CA kann leicht überprüfen,...
Ich hatte erst kürzlich eine Diskussion über Turingmaschinen, als ich gefragt wurde: "Ist die Turingmaschine von Automaten abgeleitet, oder ist es umgekehrt?" Ich wusste die Antwort natürlich nicht, aber ich bin neugierig, es herauszufinden. Die Turing-Maschine ist im Grunde eine etwas...
Die Frage ist einfach und direkt: Für ein festes , wie viele (verschiedene) Sprachen werden von einem DFA der Größe n (dh n Zustände) akzeptiert ? Ich werde dies formell erklären:nnnnnnnnn Definieren Sie eine DFA als , wobei alles wie gewohnt ist und δ : Q × Σ → Q eine (möglicherweise partielle)...
Ich arbeite an einer Aufgabenstellung für eine Klasse und überlege mir, woran ich gerade arbeite. Gibt es eine Mindestanzahl von Zuständen, die ein endlicher Automat haben muss, um binäre Zeichenfolgen zu akzeptieren, die Zahlen darstellen, die durch eine ganze Zahl n teilbar sind? In einem...
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...
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 (...
Betrachten Sie die Sprache L k - d i s t i n c t,Lk−distinctL_{k-distinct} die aus allen kkk -letter-Zeichenfolgen über Σ bestehtΣ\Sigma , sodass keine zwei Buchstaben gleich sind: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ & Sgr; und ∀ j ≠ i : σ j ≠ σ i...
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...
In der Automatentheorie (endliche Automaten, Pushdown-Automaten, ...) und in der Komplexität gibt es den Begriff "Mehrdeutigkeit". Ein Automat ist mehrdeutig, wenn es ein Wort mit mindestens zwei verschiedenen Annahmeläufen gibt. Eine Maschine ist k -ambiguous wenn für jedes Wort w von der Maschine...
Vor vielen Jahren hörte ich, dass die Berechnung des minimalen NFA (nicht deterministischer endlicher Automat) aus einem DFA (deterministisch) eine offene Frage war, im Gegensatz zu der seit Jahrzehnten bekannten und mit einem effizienten gut erforschten umgekehrten Richtung n ) Algorithmus. Hat...
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...
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,...
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...
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...