10. gyakorlat

Röpzh

Alkossuk meg az \(L = \{a^n \, b^n,\; n \geq 0\}\) nyelvet ellenőrző Turing-gépet!

Gyakorlás

Feladat 1

\(\Sigma: \{a\}\)

\(\Gamma: \{a, \_, x\}\)

[kép]

Mit csinál a Truing-gép? Megduplázza az \(a\)-k számát

Példa: \(axaxaxxaxaa\)

q_0 és q_1: \(xxxxxxxxxxx\)

q2: