El propio Chomsky estableció en 1959 la equivalencia entre las gramáticas de tipo 0 y las Máquinas de Turing.