Siguiente: Una gramática sencilla del Un nivel arriba: Introducción a la teoría Anterior: Introducción a la teoría

Gramáticas formales

Las gramáticas formales son sistemas de manipulación simbólica que permiten generar cadenas de símbolos, llamadas por esto bien formadas, o bien reconocer cuándo una cadena dada está, en efecto, bien formada. En este primer capítulo, meramente introductorio, ilustraremos con varios ejemplos estos tipos de sistemas e inclusive algunos otros sistemas un tanto más generales.