Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

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 …
5
Wie kann man beweisen, dass eine Sprache nicht kontextfrei ist?
Wir haben etwas über die Klasse der kontextfreien Sprachen gelernt . Es ist sowohl durch kontextfreie Grammatiken als auch durch Pushdown-Automaten gekennzeichnet, sodass leicht gezeigt werden kann, dass eine bestimmte Sprache kontextfrei ist.CFLCFL\mathrm{CFL} Wie zeige ich das Gegenteil? Mein TA hat darauf bestanden, dass wir dafür für alle Grammatiken (oder …
10
Wie kann man beweisen, dass eine Sprache nicht regelmäßig ist?
Wir haben etwas über die Klasse der regulären Sprachen gelernt . Es zeichnet sich durch ein beliebiges Konzept aus regulären Ausdrücken, endlichen Automaten und linkslinearen Grammatiken aus, sodass leicht gezeigt werden kann, dass eine bestimmte Sprache regulär ist.REGREG\mathrm{REG} Wie zeige ich das Gegenteil? Mein TA hat darauf bestanden, dass wir …
2
Ermitteln der Funktionen eines Min-Heap-Automaten (oder eines anderen exotischen Automaten)
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 einem Stapel, und Turing-Maschinen verwenden ein Band. Es hat sich gezeigt, dass Zustandsmaschinen, die …
1
Zeige, dass {xy ∣ | x | = | y |, x ≠ y} ist kontextfrei
Ich erinnere mich an die folgende Frage nach einer Sprache, die angeblich kontextfrei ist, aber ich konnte keinen Beweis dafür finden. Habe ich mich vielleicht falsch an die Frage erinnert? Wie auch immer, hier ist die Frage: Zeigen Sie, dass die Sprache ist kontextfrei.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, …
2
Gibt es inhärent mehrdeutige und deterministische kontextfreie Sprachen?
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 die Sprache erzeugen, mehrdeutig und ansonsten eindeutig sind. Ein Beispiel für eine deterministische, …
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 
6
Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen
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 …
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.