3. gyakorlat
Veremautomaták
[hurok szimbólum] = \(z_0\)
A = (\(\Gamma\), Q, \(\varepsilon\), \(\delta\), \(z_0\), \(q_0\), F])
- \(\Gamma\): verem ABC
- Q: Állapotok
- \(\varepsilon\): Input ABC
- Átmenet fv.
- Elfogadó állapotok
- Kezdőállapot
- Verem kezdő szimbóluma
Feladat 1
\(\varepsilon = \{a, b\}\)
\(\Gamma = \{\#, a\}\)
\(L(a_1) = \{a_n b_n \; n \mid 1\}\)
Feladat 2
\(L_2 = \{u \in \{a, b\}^*\}\)
\(|u|_a = |u|_b\)
Nem determinisztikus:
Determinisztikus:
Feladat 3
\(L_4 = \{u u^{-1} : u \in \{a, b\}^+\}\)
Feladat 4
\(G = (N, T, S R)\)
