Tiene una estrecha relación con la formalización de determinados lenguajes en su momento de definición.