Als «automata-theory» getaggte Fragen

Ich habe Theory of Computation zum Spaß überarbeitet und diese Frage hat mich eine Weile genervt (lustig, ich habe nie daran gedacht, als ich in meinem Grundstudium die Automatentheorie lernte). Warum untersuchen wir also genau deterministische und nicht deterministische endliche Automaten (DFA /...

Die Chomsky (-Schützenberger) -Hierarchie wird in Lehrbüchern der theoretischen Informatik verwendet, deckt jedoch im Vergleich zum vollständigen Komplexitäts-Zoo-Diagramm offensichtlich nur einen sehr kleinen Teil der formalen Sprachen (REG, CFL, CSL, RE) ab . Spielt die Hierarchie in der...

Echte Computer haben nur begrenzten Speicher und nur eine begrenzte Anzahl von Zuständen. Sie sind also im Wesentlichen endliche Automaten. Warum verwenden theoretische Informatiker die Turing-Maschinen (und andere gleichwertige Modelle) zum Studium von Computern? Was bringt es, diese viel...

Ich habe kürzlich folgendes gehört: "Eine nicht deterministische Maschine ist nicht dasselbe wie eine probabilistische Maschine. In groben Zügen ist eine nicht deterministische Maschine eine probabilistische Maschine, in der Wahrscheinlichkeiten für Übergänge nicht bekannt sind." Ich habe das...

Es gibt immer eine Möglichkeit zur Anwendung in Themen der theoretischen Informatik. Lehrbücher und Grundstudiengänge erklären jedoch in der Regel nicht, warum die Automatentheorie ein wichtiges Thema ist und ob sie in der Praxis noch Anwendung findet. Daher haben Studenten im Grundstudium...

Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von...

Ich brauche ein Buch zur endlichen Automatentheorie mit vielen Beispielen, die ich zum Selbststudium und zur Prüfungsvorbereitung verwenden

Samuel Eilenberg versprach im Vorwort zu seinen sehr einflussreichen Büchern Automaten, Sprachen und Maschinen (Bände A, B) auf spannende Weise die Bände C und D, die sich mit "einer Hierarchie (genannt rationale Hierarchie) der nichtrationalen Phänomene ... unter Verwendung rationaler Beziehungen...

Es ist bekannt, dass ein regulärer Ausdruck durch einen nicht deterministischen endlichen Automaten mit einer Größe proportional zum regulären Ausdruck oder durch einen deterministischen FA erkannt werden kann, der potenziell exponentiell größer ist. Darüber hinaus kann die NFA mit einem String und...

Ist die Sprache { } kontextfrei oder nicht?einichbjck | i≠j,i≠k,j≠k aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Mir wurde klar, dass ich fast alle Varianten dieser Frage mit unterschiedlichen Bedingungen über die Beziehung zwischen i, j und k kennengelernt habe, aber nicht...

Fixiere eine ganze Zahl und ein Alphabet . Definieren Sie als Sammlung aller Automaten mit endlichen Zuständen zu Zuständen mit Startzustand 1. Wir betrachten alle DFAs (nicht nur verbundene, minimale oder nicht entartete). somit ist .n nnΣ = { 0 , 1 } Σ={0,1}\Sigma=\{0,1\}D F A ( n )...

Ich habe mich gefragt, ob es einen "besseren" Algorithmus gibt (ich erkläre, in welchem ​​Sinne), der von einem DFA ausgeht AA\mathcal{A}und einen regulären Ausdruck so konstruiert, dass , als die in dem Buch von Hopcroft und Ullman (1979). Dort werden die Mengen verwendet, um Mengen von...

Man betrachte nichtdeterministische endliche Automaten A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) und eine Funktion f(n)f(n)f(n) . Zusätzlich definieren wir Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Analysieren wir nun die folgende Aussage: Wenn...

Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als...

Der Schnittpunkt zweier (minimaler) DFAs mit n Zuständen kann unter Verwendung von O (n 2 ) Zeit und Raum berechnet werden . Dies ist im Allgemeinen optimal, da der resultierende (minimale) DFA n 2 Zustände haben kann. Wenn der resultierende minimale DFA jedoch z-Zustände hat, wobei z = O (n), kann...

1) In welcher Beziehung stehen statische Typisierung und formale Grammatik? 2) Wäre es insbesondere für einen linear begrenzten Automaten möglich, zu überprüfen, ob beispielsweise ein C ++ - oder SML-Programm gut typisiert war? Ein verschachtelter Stapelautomat? 3) Gibt es eine natürliche...

Für jede Sprache über Σ * definieren L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . In Worten, L 1 / 2 besteht aus allen x für die eine ist y gleich lang , so daß x y ∈ L .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|}...

Mit zwei Zeichenfolgen x und y möchte ich einen DFA mit einer Mindestgröße erstellen, der x akzeptiert und y ablehnt. Eine Möglichkeit hierfür ist die Brute-Force-Suche. Sie zählen die DFAs beginnend mit den kleinsten auf. Sie probieren jeden DFA aus, bis Sie einen finden, der x akzeptiert und y...

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...

Es sei zwei reguläre Sprachen, die von den NFAs als Eingabe gegeben werden.L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Angenommen, wir möchten überprüfen, ob . Dies kann natürlich durch einen quadratischen Algorithmus geschehen, der den Produktautomaten von berechnet , aber ich habe mich gefragt, ob etwas...