Изменения

==Алфавит и Слово==  '''Алфавит''' - конечное непустое множество символов. Условимся обозначать алфавиты символом <mathtex>\Sigma</sumtex>. '''Слово''', или '''цепочка''' - это конечная последовательность символов некоторого алфавита. Например, 01101 - это цепочка в бинарном алфавите <tex>\Sigma = {0,1}</mathtex>. Цепочка 111 это тоже цепочка в этом алфавите. ''Пустая цепочка'' - это цепочка, не содержащая ни одного символа. Эту цепочку обозначаемую <tex> \varepsilon </tex>, можно рассматривать как цепочку в любом алфавите. ''Длина цепочки'' - число позиций для символов в цепочке. '''СловоСтепени алфавита'''Если <tex>\Sigma</tex> - некоторый алфавит, то можно выразить множество всех цепочек определенной длины, состоящих из символов данного алфавита, используя знак степени. Определим <tex>\Sigma^k</tex>, как множество всех цепочек длины k, состоящих из символов алфавита <tex>\Sigma</tex>.  '''Язык'''- множество строчек, каждая из которых принадлежит <tex>\Sigma^*</tex>, где <tex>\Sigma</tex> - некоторый фиксированный алфавит. Если <tex>\Sigma</tex> - алфавит, и <tex>\L \subseteq Sigma^*</tex>