JFIZO - Zadanie 09.065
Hopcroft, 7.5, „Wielowymiarowe maszyny Turinga”, strona 190.
Żmudne