A Grammar that has no constraints on Production Rules. The can generate all languages recognizable by a Turing Machine