En teoría del lenguaje formal: