çözmesi en güç type-0 grammar'ine sahip dilleri çözebilen* turing machine'i yaratmıştır. bir yazılımın program sayılabilmesi için turing machine'den geçmelidir. bilgisayarın babası demek onun için hafif bir tabir.