Als «automata» getaggte Fragen

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

Ich bin damit einverstanden, dass eine Turingmaschine "alle möglichen mathematischen Probleme" lösen kann. Das liegt aber daran, dass es sich nur um eine maschinelle Darstellung eines Algorithmus handelt: zuerst dies tun, dann das tun, schließlich das ausgeben. Ich meine, alles, was lösbar ist,...

Es gibt viele Methoden , um zu beweisen , dass eine Sprache nicht regulär ist , aber was muss ich tun, um zu beweisen , dass einige Sprache ist regelmäßig? Wenn mir zum Beispiel gegeben wird, dass regelmäßig ist, wie kann ich dann beweisen, dass das folgende regelmäßig ist?L 'LLLL′L′L'...

Am Ende dieses Beitrags finden Sie Erläuterungen zu den Definitionen von Min-Heap-Automaten. Man kann sich vorstellen, eine Vielzahl von Datenstrukturen zum Speichern von Informationen zur Verwendung durch Zustandsautomaten zu verwenden. Zum Beispiel speichern Push-Down-Automaten Informationen in...

In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige...

Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch. Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die...

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

Zu sehen, dass in der Chomsky-Hierarchie Sprachen des Typs 3 von einer Zustandsmaschine ohne externen Speicher (dh einem endlichen Automaten), Typ 2 von einer Zustandsmaschine mit einem einzelnen Stapel (dh einem Pushdown-Automaten) und Typ 0 von erkannt werden können Wie passen Sprachen des Typs 1...

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 habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine Kombination mit n/2Paaren erstellen,...

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

Ist der folgende Sprachkontext frei? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Wie von sdcvvc hervorgehoben, kann ein Wort in...

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

Ein Automat ist ein abstraktes Modell eines digitalen Computers. Digitale Computer sind vollkommen deterministisch. Ihr Zustand ist jederzeit eindeutig aus der Eingabe und dem Anfangszustand vorhersehbar. Warum sollte Nichtdeterminismus in die Automatentheorie einbezogen werden, wenn wir versuchen,...

Gibt es eine "natürliche" Sprache, die unentscheidbar ist? mit "natürlich" meine ich eine sprache, die direkt durch die eigenschaften von strings definiert ist und nicht über maschinen und deren äquivalent. Mit anderen Worten, wenn die Sprache wie folgt aussieht: wobei TM, DFA (oder reguläre Exp),...

Bei einer kontextfreien Grammatik G existiert ein nicht deterministischer Pushdown-Automat N, der genau die Sprache akzeptiert, die G akzeptiert. (und umgekehrt) Es kann auch einen deterministischen Pushdown-Automaten D geben, der genau die Sprache akzeptiert, die auch G akzeptiert. Es kommt auf...

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