Als «finite-automata» getaggte Fragen

7
Wenn

Ich möchte beweisen, dass regulär ist, wenn regulär ist, aber ich komme anscheinend nicht weiter. Wenn möglich, hoffte ich auf einen Hinweis, um mich in die richtige Richtung zu bringen. Danke für deine Hilfe.L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\}LLL Meine Idee, um die Regelmäßigkeit der...

7
Automat für den Teilstring-Abgleich

Gegeben als String über einig Alphabet, was ist der beste bekannte Algorithmus einen entsprechenden deterministischen endlichen Automaten (DFA) , die ein beliebige Zeichenfolge akzeptiert zu berechnen, enthält ?ssssss Ich bin hauptsächlich an der geringsten zeitlichen Komplexität interessiert. Wenn...

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