Als «finite-automata» getaggte Fragen

8
Ein falscher Nachweis des Schließens unter der Sternoperation unter Verwendung von NFA führt dazu, dass die NFA unerwünschte Zeichenfolgen erkennt?

Ich lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der Sternoperation...

8
Deterministische endliche Automaten zählen

Ich habe eine Frage zum Zählen von DFAs: Wie würde ich bei einer Σ = {0, 1}Eingabezeichenfolge mit festgelegtem Status Q = {1...n}die Gesamtzahl der DFAs ermitteln, die erstellt werden können? Ich glaube, dies ist ein kombinatorisches Problem, aber ich bin mir nicht sicher, was ich multiplizieren...

8
Der Nachweis, dass die Sprache, die aus allen Zeichenfolgen in einer Sprache besteht, dieselbe Länge hat wie eine Zeichenfolge in einer anderen Sprache, ist normal

Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform:...

7
Wie XOR-Automaten?

Angenommen, wir haben 3 DFAs. Wir wissen, wie man sie ODER, UND oder NICHT. Aber wie macht man sie XOR? Es gibt keine einzige Erwähnung online. xX O R.yX O R.z= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) ( ¬ x | y) ) | z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR}...

7
Kleinste NFA, die Verkettungen von zwei Wörtern der Länge akzeptiert, die an allen Positionen unterschiedlich sind

Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie,...