¿Qué es un lenguaje formal?

Un lenguaje formal está formado por un conjunto de palabras. Las palabras son cadenas que están formadas por símbolos los cuales pertenecen a un alfabeto.

Vamos a profundizar en cada uno de los siguientes conceptos:

1. Símbolo
2. Alfabeto
3. Palabra

1. Símbolos (ó)

Un símbolo (ó) es elemento constructivo básico; es la entidad fundamental, atómica,es decir, indivisible, a partir de la cual se forman los alfabetos. Pueden ser letras, números, combinaciones de letras y números, etc…

Ejemplos:

• La letra a es un símbolo que forma parte del alfabeto español, inglés, etc.
• El número 3.
• Los símbolos >, = y + son elementos del alfabeto de los operadores de los lenguajes Pascal y ANSI C .
• Los símbolos IF, ELSE, THEN para construir una sentencia condicional simple en un lenguaje de programación.

2. Alfabetos (Σ)

Es un conjunto no vacío y finito de símbolos indivisibles . Se lo identifica con la letra griega Σ (sigma). Con los símbolos de un alfabeto se construyen las palabras de un lenguaje.

Ejemplos de alfabetos:

• Σ1 = {0, 1} : Este alfabeto contiene sólo al 0 y al 1. Proporciona los símbolos utilizados en la construcción de los números binarios.
• Σ2 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, -, +} : proporciona los números enteros con signo en base 10.
• Σ3 = {na, pa, la, bra} : alfabeto formado por cuatro símbolos.
• Σ4 = {a, b, ab} : Este alfabeto no tiene todos sus símbolos indivisibles porque ab se forma con a y b. En consecuencia, es un alfabeto AMBIGUO.