Example slide 16 pdf 08_Turing_machines