Als «finite-automata» getaggte Fragen

Fragen zu endlichen Automaten, einem elementaren Automatenmodell mit endlichem Speicher. Es entspricht regulären Sprachen und ist die Basis für viele komplexere Modelle.

4
Wie konvertiere ich endliche Automaten in reguläre Ausdrücke?
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 gibt es, um NFA in gleichwertige reguläre Ausdrücke umzuwandeln? Gibt es Vorteile …

6
Gibt es unendliche Automaten?
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) unendliche Automaten?

2
Planare reguläre Sprachen
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 Graphen auf fünf Knoten . Yuval hat eine ähnliche …


2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
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 . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

5
Unterschied zwischen einer Turing-Maschine und einer Finite-State-Maschine?
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 der entsprechenden Bedingung, die erfüllt ist, während Turing-Maschinen auf …

4
Wie simuliert man Rückreferenzen, Lookaheads und Lookbehinds in Automaten mit endlichen Zuständen?
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. Das Erstellen eines nicht deterministischen …

3
Was sind die Bedingungen für eine NFA, damit ihre äquivalente DFA die maximale Größe hat?
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: Was bestimmt das Worst-Case-Szenario? Hier …

1
Wie schreibe ich einen Beweis mit Induktion über die Länge der Eingabezeichenfolge?
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 wirklich begrüßen, wenn jemand Schritt für Schritt einen solchen …

3
Wie kann man beweisen, dass DFAs von NFAs eine exponentielle Anzahl von Zuständen haben können?
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. Bei deterministischen endlichen Automaten ist jedoch nur ein Pfeil pro Symbol zulässig, …





2
Sprachen, die von modifizierten Versionen endlicher Automaten akzeptiert werden
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 Übergangsfunktion sollte eine (Gesamt-) Funktion sein.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.