Alfabeto (lenguaje formal)

El alfabeto de un lenguaje formal es un conjunto de símbolos atómicos (indivisibles) de un lenguaje formal (a veces se les llama letras por analogía con los alfabetos de los lenguajes naturales o símbolos). Las palabras se construyen a partir de los símbolos del alfabeto de una lengua formal , y  las expresiones admisibles de la lengua se construyen especificando una gramática formal .

La mayoría de las veces, el alfabeto se ve como un conjunto finito no vacío . Por ejemplo, el alfabeto es la base del código Morse , el alfabeto  es un conjunto de caracteres generalmente aceptado para representar información en las computadoras. Los signos musicales , los números  son también ejemplos de alfabetos finitos. En algunos casos, también se consideran alfabetos infinitos, por ejemplo, el conjunto de números naturales  es el ejemplo más simple de un alfabeto contable (en este caso, los números naturales también se pueden considerar como palabras sobre un alfabeto finito de dígitos).

El concepto de alfabeto de lenguaje formal se usa ampliamente en lingüística (en secciones que estudian gramáticas formales), lógica matemática (principalmente teoría de modelos ), teoría de autómatas , inteligencia artificial (incluida la lingüística computacional ), informática (en particular, en la teoría de lenguajes de programación ). Se estudian problemas teóricos separados de construcción de palabras y expresiones de lenguajes formales sobre alfabetos por medio de álgebra general y combinatoria .