Fragen zu endlichen Automaten, einem elementaren Automatenmodell mit endlichem Speicher. Es entspricht regulären Sprachen und ist die Basis für viele komplexere Modelle.
Die Konvertierung regulärer Ausdrücke in (minimale) NFA, die dieselbe Sprache akzeptieren, ist mit Standardalgorithmen, z . B. dem Thompson-Algorithmus, einfach . Die andere Richtung scheint jedoch langweiliger zu sein, und manchmal sind die resultierenden Ausdrücke chaotisch. Welche Algorithmen...
In der Automatentheorie lesen wir alle Automaten von Anfang an als endliche Automaten. Ich möchte wissen, warum Automaten endlich sind. Um klar zu sein, was ist in einem Automaten endlich - das Alphabet, die Sprache, Zeichenketten mit regulären Ausdrücken oder was? Und gibt es (theoretisch)...
In meiner Klasse fragte eine Schülerin, ob alle endlichen Automaten ohne überkreuzende Kanten gezeichnet werden könnten (anscheinend haben alle meine Beispiele dies getan). Natürlich ist die Antwort negativ, der offensichtliche Automat für die Sprache hat die Struktur von , dem vollständigen...
Ich habe gerade das erste Kapitel der Einführung in die Berechnungstheorie von Michael Sipser abgeschlossen, in dem die Grundlagen endlicher Automaten erklärt werden. Er definiert eine reguläre Sprache als alles, was durch endliche Automaten beschrieben werden kann. Aber ich konnte nicht finden, wo...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Ich mache einen Vortrag über Turingmaschinen und wollte einige Hintergrundinformationen zu FSMs geben, bevor ich Turingmaschinen vorstelle. Das Problem ist, ich weiß wirklich nicht, was sich SEHR voneinander unterscheidet. Ich weiß, dass es anders ist: FSM hat sequentielle Zustände, abhängig von...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich habe ein einfaches Lexer und einen Parser für reguläre Ausdrücke erstellt, um einen regulären Ausdruck zu verwenden und dessen Analysebaum zu generieren....
Wir wissen, dass DFAs in ihrer Ausdruckskraft NFAs entsprechen; Es gibt auch einen bekannten Algorithmus zum Konvertieren von NFAs in DFAs (leider kenne ich jetzt den Erfinder dieses Algorithmus), der im schlimmsten Fall Zustände liefert , wenn unser NFA Zustände hat. S2S2S2^SSSS Meine Frage ist:...
In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Alle nicht deterministischen endlichen Automaten können in äquivalente deterministische endliche Automaten umgewandelt werden....
Lassen L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Ist regelmäßig?LLL Diese Frage sah auf den ersten Blick verdächtig aus und ich habe festgestellt, dass sie mit der Twin-Prime-Vermutung zusammenhängt . Mein...
Ich stecke in der folgenden Frage fest: "Reguläre Sprachen sind genau diejenigen, die von endlichen Automaten akzeptiert werden. Zeigen Sie, dass, wenn die Sprache von einem endlichen Automaten akzeptiert wird, auch von einem endlichen akzeptiert wird; besteht aus allen Wörtern von umgekehrt. "LLL...
Wenn zum Beispiel betrachten wir einen DFA , die die Saiten haben weder Sub - Strings erlaubt 00oder 11ich kann die folgenden zwei DFAs produzieren:
Ich habe FSM in Digital Sequential Circuit-Designs verwendet. Endliche Automaten kenne ich aber nicht. Kann mir jemand helfen, den grundlegenden Unterschied zwischen beiden zu verstehen?
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die...
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte...
Kürzlich wurde eine interessante Frage gestellt und anschließend gelöscht. Für eine reguläre Sprache ist ihre DFA-Komplexität die Größe des minimalen DFA, der sie akzeptiert, und ihre NFA-Komplexität ist die Größe des minimalen NFA, der sie akzeptiert. Es ist bekannt, dass es eine exponentielle...
Der DFA-Minimierungsalgorithmus von Brzozowski erstellt einen minimalen DFA für DFA GGG durch: Umkehren aller Kanten in GGG , wobei der Anfangszustand ein Akzeptanzzustand und der Akzeptanzzustand ein Initialzustand wird, um ein NFA N′N′N' für die Umkehrsprache zu erhalten, Verwenden der...
Ich weiß, dass wir DFAs minimieren können, indem wir äquivalente Zustände finden und zusammenführen, aber warum können wir das nicht auch mit NFAs tun? Ich suche keinen Beweis oder ähnliches - es sei denn, ein Beweis ist einfacher zu verstehen. Ich möchte nur intuitiv verstehen, warum die...
Gegeben ein Alphabet Σ = { a , b }Σ={ein,b}\Sigma = \{ a,b \} , wie viele verschiedene reguläre Sprachen gibt es , dass durch ein akzeptiert werden kann nnn -state nicht-deterministischen endlichen Automaten? Betrachten wir als Beispiel n=3n=3n=3 . Wir haben dann 2182182^{18} verschiedene...