Формализованные языки

Формализованные языки программирования имеют свой алфавит, словарный запас, грамматику, синтаксис.