Konstrukce Turingových strojů
10.1 Navrhněte determinstický jednopáskový Turingův stroj rozhodující jazyk L = {anbmcnďn \ m, n > 1}
10.2 Navrhněte deterministický jednopáskový TS se vstupní abecedou {0,1} a takový, že výpočty na slovech tvaru 0*1* jsou akceptující a výpočty na ostatních slovech jsou nekonečné.
10.3 Navrhněte 3-páskový (vstupní + 2 pracovní pásky) TS pro jazyk L = {w e {a, b}* | #a(w) = #b(w)}
10.4 Navrhněte TS (deterni. nebo nedeterm.) TS pro jazyk:
a) L = {éVck | k = e N}
b) L = {ww | w e {a, b}*}
c) L = {ap I p není prvočíslo }
d) L = {anw j w E {0,1}* ,w je binárni zápis čísla n}
20