Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die akzeptierte Sprache akzeptiert von ?L ( M ) N M.M.MML ( M.)L(M)L(M)N.NNM.MM Ein …
Barry Jay macht in seinem Buch einige kühne Behauptungen - im Grunde genommen, indem er sagt, dass im Kern eines Programms alles entweder atomar oder komponiert ist. Dann können die Dinge einfach iteriert, gefiltert und aktualisiert werden, indem Sie einfach durch diese Kompositionsbeziehung navigieren. Ist dies eine neue Grenze in …
Wo finde ich eine Einführung in probabilistische Automaten und was erkennen sie (bestimmte Funktionen von Wörtern bis )? Gibt es einen Standardbegriff für solche Funktionen, die von probabilistischen Automaten erkannt werden, analog zu "regulären Sprachen", für die deterministische endliche Automaten (DFAs) erkannt werden?[0,1][0,1][0,1] Ich suche nach etwas, das sich analog …
Es sei eine Zahl angegeben. Betrachten Sie die folgende Sprache L n = {nnn .L.n= {w w|w ∈ { 0 , 1 }n}}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} In Worten ist die Menge von Kopierzeichenfolgen der Länge 2 n .L.nLnL_n2 n2n2n Betrachten Sie …
In formalen Sprachen gibt es ein offenes Problem, das als Trennungsproblem bekannt ist. Dies wird kurz als gegeben gegeben, wenn zwei unterschiedliche Zeichenfolgen der Länge , wie groß ein DFA ist, um sie zu "trennen", was bedeutet, dass eine Zeichenfolge akzeptiert, die andere jedoch abgelehnt wird.nnn Hier sind einige relevante …
Was ist der Standardansatz zur Minimierung von Büchi-Automaten (oder auch Müller-Automaten)? Das Übertragen der üblichen Technik von endlichen Wörtern, dh das Setzen von zwei Zuständen auf Gleichheit, wenn die Wörter "Auslaufen" der akzeptierten Zustände gleich sind, funktioniert nicht. Stellen Sie sich zum Beispiel vor, dass das Büchi-Automoton alle Wörter mit …
Bei dieser Frage geht es darum, ob es bekannte reversible Turing-Tarpits gibt, wobei "reversibel" im Sinne von Axelsen und Glück bedeutet und "Tarpit" ein viel informelleres Konzept ist (und möglicherweise keine sehr gute Wortwahl ist). aber ich werde mein Bestes geben, um zu erklären, was ich damit meine. Was ich …
In Kapitel 13 "Atomic Objects" des Buches "Distributed Algorithms" von Nancy Lynch wird die Linearisierbarkeit (auch als Atomizität bezeichnet) als Sicherheitseigenschaft nachgewiesen. Das heißt, die entsprechende Trace-Eigenschaft ist nicht leer, mit Präfix geschlossen und mit Limit geschlossen , wie in Abschnitt 8.5.3 definiert. Informell wird eine Sicherheitseigenschaft oft so interpretiert, …
Ein deterministischer Automat heißt k- lokal für k > 0, wenn für jedes w ∈ X k die Menge { δ ( q , w ) : q ∈ Q } höchstens enthält ein Element. Intuitiv bedeutet dies, dass wenn ein Wort w der Länge k zu einem Zustand führt, …
Betrachten Sie eine nicht leere Sprache mit binären Zeichenfolgen der Länge n . Ich kann L mit einer Booleschen Schaltung C mit n Eingängen und einem Ausgang so beschreiben, dass C ( w ) wahr ist, wenn w ∈ L ist : Dies ist bekannt.L.LLnnnL.LLC.CCnnnC.( w )C(w)C(w)w ∈ L.w∈Lw \in …
Sei eine kontextfreie Sprache. Definieren Sie p p c ( L ) als den Pre- und Postfix-Abschluss von L , mit anderen Worten, p p c ( L ) enthält alle Präfixe und Postfixes von L und damit L selbst. Meine Frage: Wenn L kontextfrei ist und eine nicht mehrdeutige …
Ich versuche, eine Taxonomie von Algorithmen zur Umwandlung regulärer Ausdrücke in Automaten zu erstellen, um einige empirische Tests ihrer Komplexitätseigenschaften in bestimmten Bereichen durchzuführen. Mir sind einige der "größeren" Namen bekannt, z. Thompson "Regular Expression Search Algorithm", Thompson, 1968 Glushkov "Ein neuer quadratischer Algorithmus zur Umwandlung eines regulären Ausdrucks in …
Deterministische kontextfreie Sprachen (DCFL) und sichtbar Pushdown-Sprachen (VPL) sind beide Sätze formaler Sprachen zwischen kontextfreien Sprachen (CFL) und regulären Sprachen (REG). Gibt es eine lesbare Notation, die in einfachem ASCII ausgedrückt werden kann, wie Backus-Naur-Form für CFL und reguläre Ausdrücke für REG?
Hallo zusammen, ich versuche gerade, ein solides Thema für eine Masterarbeit zu finden, das sich auf einen Zweig der Automatentheorie bezieht oder sich auf formale Sprachen bezieht. Ich versuche, einige gute Ideen für ein akzeptables Thema zu generieren, etwas Ehrgeiziges, aber gleichzeitig Machbares. Anregungen wäre sehr dankbar!
Ein DFA oder NFA liest eine Eingabezeichenfolge mit einem einzelnen Kopf von links nach rechts durch. Es scheint natürlich, sich über Maschinen mit endlichen Zuständen zu wundern, die mehrere Köpfe haben , von denen sich jeder von links nach rechts durch die Eingabe bewegt, aber nicht unbedingt an derselben Stelle …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.