Fundamentos de la Computación: Sistemas de Tipos, Autómatas Finitos y Jerarquía de Chomsky »

(adsbygoogle = window.adsbygoogle || []).push({});
Reglas de un lenguaje que
Permiten asignar a las distintas partes de un programa y verificar su
Corrección.