Son conocidos como lenguajes tipo-0 en la Jerarquía de Chomsky.