Für ein festes endliches Alphabet , eine formale Sprache über ist regelmäßig , wenn es einen gibt deterministische endliche Automaten (DFA) über , die akzeptiert genau .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Ich interessiere mich für Sprachen, die "fast" regelmäßig sind, in dem Sinne, dass sie von...
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges...
Beim Basteln mit nichtkanonischem LR-Parsing habe ich mir eine Parsing-Methode ausgedacht (mit unendlich großen Tabellen, was es etwas unpraktisch macht ), mit der genau die eindeutigen Grammatiken in -Zeit analysiert werden können, und ich habe mich gefragt, ob es möglich ist, es besser zu machen...
Neben der (deterministischen) Kommunikationskomplexität einer Beziehung R ist die Protokollpartitionsnummer p p ( R ) ein weiteres grundlegendes Maß für den Kommunikationsbedarf . Die Beziehung zwischen diesen beiden Maßen ist bis zu einem konstanten Faktor bekannt. Die Monographie von Kushilevitz...
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...
Mir ist aufgefallen, dass reguläre Sprachen über dem Alphabet natürlich als Poset und in der Tat als Gitter gedacht werden können. Darüber hinaus definiert die Verkettung zusammen mit der leeren Sprache eine strenge monoidale Struktur in dieser Kategorie, die über Joins verteilt ist (ich bin nicht...
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...
Bezeichnen Sie mit die Anzahl der Wörter der Länge in einer (möglicherweise mehrdeutigen) kontextfreien Sprache.wnwnw_nnnn Was ist über ?wnwnw_n Ich bin sicher, dass dies viel studiert wurde, aber ich konnte überhaupt nichts darauf
Gibt es bei regulären Ausdrücken R1,…,RnR1,…,RnR_1, \dots, R_n nicht-triviale Grenzen für die Größe der kleinsten kontextfreien Grammatik für R1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n
Es ist allgemein bekannt, dass das Äquivalenzproblem für allgemeine kontextfreie Sprachen nicht zu entscheiden ist. Alle Beweise für diese Tatsache, die mir bekannt sind, scheinen jedoch nicht eindeutige kontextfreie Grammatiken zu enthalten. Aus diesem Grund möchte ich fragen, ob bekannt ist, ob...
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)...
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 habe mich gefragt, ob die JSON- Spezifikation eine reguläre Sprache definiert. Es scheint einfach genug, aber ich bin nicht sicher, wie ich es selbst beweisen soll. Der Grund, den ich frage, ist, dass ich mich gefragt habe, ob man reguläre Ausdrücke verwenden kann, um JSON effektiv zu...
Haupt / Allgemeine Frage Sei eine Sprache. Definieren Sie die Sprachen mit und für . Betrachte . Wir haben also wiederholt in sich "eingebettet" , um .L i L 0 = L L i = { x w y : x y ∈ L i - 1 , w ∈ L } i ≥ 1 L = ⋃ L i L LLLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy...
Es ist ein bekanntes Ergebnis, dass die Frage Erzeugt eine kontextfreie Grammatik eine reguläre Sprache? ist unentscheidbar. Es wird jedoch auf einem unären Alphabet entscheidbar, einfach weil in diesem Fall die Klassen der kontextfreien und regulären Sprachen zusammenfallen. Meine Frage ist zu...
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 (...
Brzozowskis Methode der Ableitungen ist eine sehr hübsche Technik, um deterministische Automaten aus regulären Ausdrücken auf eine schön algebraische Weise zu erstellen. Ich habe einige nette Verallgemeinerungen dieser Technik ausgearbeitet, um einige größere Grammatikklassen zu behandeln, aber die...
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...