Алфавит (формальный язык): различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м Удаление принудительных пробелов в формулах по ВП:РДБ.
м стилевые правки
Строка 1:
{{Другие значения|Алфавит (значения)}}
'''Алфави́т''' формального языка — [[множество]] атомарных (неделимых) символов какого-либо [[Формальный язык|формального языка]] (иногда называемыхих называют буквами по аналогии с [[алфавит]]ами естественных языков или символами). Из символов алфавита формального языка строятся [[слово (формальный язык)|слова]], а заданием [[Формальная грамматика|формальной грамматики]] — допустимые выражения языка.
 
Чаще всего алфавит рассматривается как непустое [[конечное множество]]. Например, алфавит <math>\{\cdot,-\}</math> лежит в основе [[Азбука Морзе|азбуки Морзе]], алфавит <math>\{0,1\}</math> — общепринятый набор символов для представления информации в компьютерах. [[Нотные знаки]], [[цифры]] — также примеры конечных алфавитов. В некоторых случаях рассматриваются и бесконечные алфавиты, например, множество [[натуральные числа|натуральных чисел]] <math>\mathbb{N}</math> — простейший пример [[счётное множество|счётного]] алфавита (при этом натуральные числа могут быть рассмотрены и как слова над конечным алфавитом цифр).