Un caso especial de lenguajes de tipo son los lenguajes de "tipo sencillo".