Concepto de informática Lenguajes formales y gramáticas

Definir reglas precisas para construir y reconocer secuencias válidas de símbolos.