Abeceda (formální jazyk)

Abeceda formálního jazyka je soubor atomických (nedělitelných) symbolů formálního jazyka (někdy se jim říká písmena analogicky s abecedami přirozených jazyků nebo symbolů). Slova jsou konstruována ze symbolů abecedy formálního jazyka a  přípustné výrazy jazyka jsou konstruovány specifikací formální gramatiky .

Nejčastěji se na abecedu pohlíží jako na neprázdnou konečnou množinu . Například abeceda je základem Morseovy abecedy , abeceda  je obecně přijímaný soubor znaků pro reprezentaci informací v počítačích. Hudební znaky , čísla  jsou také příklady konečných abeced. V některých případech se uvažuje i o nekonečných abecedách, například množina přirozených čísel  je nejjednodušším příkladem spočítatelné abecedy (v tomto případě lze přirozená čísla považovat také za slova nad konečnou abecedou číslic).

Koncept formální jazykové abecedy je široce používán v lingvistice (v částech, které studují formální gramatiky), matematické logice (především teorie modelů ), teorii automatů , umělé inteligenci (včetně výpočetní lingvistiky ), informatice (zejména v teorii programování jazyků ). Samostatné teoretické problémy konstrukce slov a výrazů formálních jazyků nad abecedami jsou studovány pomocí obecné algebry a kombinatoriky .