Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
{{Определение
|definition =
'''Алфавит''' {{---}} конечное непустое множество символов. Условимся обозначать алфавит символом <tex>\Sigma</tex>.
}}
<tex>\Sigma^* = \bigcup \limits _{k=0}^\infty \Sigma^k</tex> — множество всех цепочек над алфавитом <tex>\Sigma</tex>.
}}
{{Определение
|id = deflanguage
|definition =
'''Язык''' над алфавитом <tex>\Sigma</tex> {{---}} некоторое подмножество <tex>\Sigma^*</tex>. Иногда такие язык называют '''формальными''', чтобы подчеркнуть отличие от языков в привычном смысле.
}}
Отметим, что язык в <tex>\Sigma</tex> не обязательно должен содержать цепочки, в которые входят все символы <tex>\Sigma</tex>. Поэтому, если известно, что <tex>L</tex> является языком над <tex>\Sigma</tex>, то можно утверждать, что <tex>L</tex> {{---}} это язык над любым алфавитом, являющимся надмножеством <tex>\Sigma</tex>.
{{Определение
Таким образом, мы получаем '''свободный [[Моноид|моноид]] слов'''.
