Języki, automaty i obliczenia/Ćwiczenia 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność