Describir: Tvorba a analýza programov pre Turingov stroj