0 Daumen
227 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,7 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.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community