finite-automata

0Hitze

1Antwort

Erstellen eines Automaten, bei dem die Länge der 0 in den Automaten ungerade ist

Ist es möglich, mit einem endlichen Automaten zu erstellen? So wie 101 akzeptiert wird, weil ungerade Anzahl von 0 aber 1001 denn auch 0'en abgelehnt wird 11 nicht akzeptiert wird, weil 0 selbst ist.

-1Hitze

2Antwort

So ermitteln Sie, welche Sprache einfacher ist

Die folgende Sprache ist die Ergänzung einer einfacheren Sprache. Konstruieren Sie ein DFA für die einfachere Sprache und verwenden Sie es dann, um das Zustandsdiagramm eines DFA für die gegebene Spra

1Hitze

1Antwort

Theorie der Berechnung: wie A kann die Sprache von Maschine M1

erkannt werden diese von einer Theorie der Berechnung Buch genommen wird: Wenn sich das Diagramm unten Maschine M1 darstellt, wie kann A, das Sprachgerät M1 erkennt, wird beschrieben als: A = {w | w e

0Hitze

1Antwort

Leerzeichen Bedeutung in DFA?

Dies ist ein DFA durch ein Werkzeug für den regulären Ausdruck erzeugt (a | b) * abaabb (a | b) * Was im Bild bedeutet Raum? Und denkst du, dass es vollkommen korrekt ist, weil es keine anderen Möglic

0Hitze

1Antwort

Findet DFA von r *, wenn r und DFA von r de fi niert wurden

Ich möchte das Beispiel dieser Methode, um DFA von r * zu finden, wenn die r und DFA von r definiert wurden. Und wie zu denken? Ich lese ein Lehrbuch, aber ich verstehe es nicht klar. Vielen Dank.

0Hitze

1Antwort

Modellierung von FSM-Swith-Bedingungen?

Ich sollte eine FSM modellieren, aber ich bin unsicher, wie man Bedingungen modelliert. Nehmen wir das einfache ATM-Beispiel. Wenn der Benutzer auf „Bestätigen“ drückt und die PIN korrekt ist, 2. zu S

1Hitze

2Antwort

Beweisen Sie alle DFA mit k <2^n states akzeptiert die Zeichenfolgen mit einer ungeraden Anzahl von einigen Zeichen

Lassen Sie die Sprache L_n haben Zeichensatz Sigma = {a_1, ..., a_n}. L_n hat genau die Wörter, die ein ungerades Vielfaches enthalten. Wenn L_n^i die Sprache ist, in der jedes Wort eine ungerade Zahl

3Hitze

1Antwort

Definieren eines endlichen Automaten Coq

Ich lerne Coq und ich möchte es verwenden, um reguläre Sprachen Theorie, speziell endliche Automaten zu formalisieren. Lassen Sie uns sagen, dass ich für einen Automaten eine Struktur wie folgt: Recor

0Hitze

1Antwort

Wie kann man einen deterministischen endlichen Automaten herstellen, der nur eine Zeichenfolge mit einer bestimmten Anzahl von 0 akzeptiert?

Wie man eine deterministische endliche Zustandsmaschine macht, die nur eine Zeichenkette einer bestimmten Anzahl von Nullen akzeptiert? n aufeinanderfolgende Nullen beispielsweise eine Maschine, die a

0Hitze

1Antwort

Ist das sogar mit einem FSM möglich?

Ich habe eine Frage, die mich fragt, eine endliche Zustandsmaschine zu erstellen, wo es nur Strings akzeptiert, die mit einer 1000 enden das Problem ist, ich glaube nicht, dass dies möglich ist, weil