43
правки
Изменения
Нет описания правки
{{Определение Алфавита
|definition =
'''Алфавит''' - конечное непустое множество символов. Условимся обозначать алфавиты символом <tex>\Sigma</tex>.
'''Слово''', или '''цепочка''' - это конечная последовательность символов некоторого алфавита. Например, 01101 - это цепочка в бинарном алфавите <tex>\Sigma = {0,1}</tex>. Цепочка 111 это тоже цепочка в этом алфавите.
''Пустая цепочка'' - это цепочка, не содержащая ни одного символа. Эту цепочку обозначаемую <tex> \varepsilon </tex>, можно рассматривать как цепочку в любом алфавите.
(<tex>\gamma</tex>, <tex>\delta</tex> могут быть пустыми)
{{Определение языка
|definition =
'''Язык''' - множество строчек, каждая из которых принадлежит <tex>\Sigma^*</tex>, где <tex>\Sigma</tex> - некоторый фиксированный алфавит.
}}
