Los lenguajes formales que son aceptados por una máquina de Turing son todos aquellos que pueden ser generados por una gramática formal.