0 Daumen
782 Aufrufe

Frage:

Halllo hat jemand vielleicht ein Lösungsansatz für ein NFA der Sprache L2? Die restlichen Aufgabe konnte ich lösen aber bei der hänge ich fest.


Code: L2 := {xyz ∈ {a, b, c}^∗| x ∈ {c, cc} ∧ y ∈ {a, b}^∗ ∧ z ∈ {b, ac}}

Avatar von

1 Antwort

0 Daumen

\(q\stackrel{c}{\longrightarrow} x_c\)

\(x_c\stackrel{a}{\longrightarrow} z_a\)

\(x_c\stackrel{b}{\longrightarrow} z_b\)

\(x_c\stackrel{c}{\longrightarrow} x_{cc}\)

\(x_{cc}\stackrel{a}{\longrightarrow} z_a\)

\(x_{cc}\stackrel{b}{\longrightarrow} z_b\)

\(z_a\stackrel{c}{\longrightarrow} z_c\)

\(z_a\stackrel{a}{\longrightarrow} z_a\)

\(z_a\stackrel{b}{\longrightarrow} z_b\)

\(z_b\stackrel{a}{\longrightarrow} z_a\)

\(z_b\stackrel{b}{\longrightarrow} z_b\)

Avatar von 5,8 k

erstmal danke, aber das ist die potenzmengenkonstruktion. Die hab ich ja selber schon aber nun muss ich einen nfa angeben

Jeder DFA kann als NFA aufgefasst werden.

Made by a lovely Community