IB102 – úkol 9, příklad 1 Odevzdání: 1. 12. 2014
Vypracoval(a): UČO:
Skupina:
1. [2 body] Sestrojte deterministický úplný jednopáskový Turingův stroj rozhodující
jazyk L. Princip práce vašeho Turingova stroje popište slovně a poté stroj zadefinujte i
formálně.
L = {an
bk
| n ≥ 0, k > 0, n je dělitelné k}