## [Alfabeto](/es/node/60812) Definición 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 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 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 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 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 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 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 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 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.