句構造文法とチューリング機械