El conjunto finito o numerable de símbolos básicos a partir del cual se construyen las expresiones bien formadas de un lenguaje formal.

Principio

Un alfabeto provee los tokens primitivos y determina qué secuencias pueden analizarse como objetos sintácticos según las reglas de formación; es la base sintáctica separada de la semántica o de las reglas gramaticales que actúan sobre esos tokens.

Demostración

En lógica proposicional un alfabeto puede ser {p, q, r, ¬, ∧, ∨, (, )}; en una firma de primer orden el alfabeto incluye símbolos de predicado y función, variables, paréntesis y conectivos lógicos.

Aplicación incorrecta

Tratar valores semánticos, tipos o metavariables como parte del alfabeto (por ejemplo, confundir valores de verdad o resultados de evaluación con tokens simbólicos) mezcla indebidamente la sintaxis del objeto con la interpretación.

Consecuencia

Con un alfabeto fijo se pueden definir fórmulas bien formadas, tokenización y análisis sintáctico; los algoritmos de manipulación sintáctica (tokenizadores, analizadores, autómatas finitos) dependen directamente del tamaño y las propiedades del alfabeto.

Inversión

En lugar de partir de un conjunto primitivo de símbolos, imaginar definir expresiones solo por objetos semánticos y luego derivar nombres simbólicos invierte la perspectiva sintáctica y corresponde a trabajar a nivel semántico o de modelos.

Límite

El alfabeto excluye la puntuación del metalingüaje, interpretaciones semánticas y el formato dependiente del contexto; suele ser finito o numerable y no incluye subexpresiones o significados arbitrariamente estructurados.

Tensión semántica

Alfabeto vs vocabulario/firmas: el alfabeto enfatiza símbolos crudos y clases de tokens, mientras que una firma enfatiza símbolos de función y predicado etiquetados con sus aridades y roles previstos.

Síntesis

Un alfabeto es el inventario mínimo de tokens simbólicos del que se construye la sintaxis de un lenguaje formal; sustenta el análisis y el parseo sintáctico manteniéndose separado de las capas gramaticales y semánticas.