Изменения

Если <tex>\Sigma</tex> - некоторый алфавит, то можно выразить множество всех цепочек определенной длины, состоящих из символов данного алфавита, используя знак степени. Определим <tex>\Sigma^k</tex>, как множество всех цепочек длины <tex>k</tex>, состоящих из символов алфавита <tex>\Sigma</tex>.

Пусть <tex>x </tex> и <tex>y </tex> - цепочки. Тогда <tex>xy </tex> обозначает их ''конкатенацию'' (соединение), т.е. цепочку, в которой последовательно записаны цепочки x и y.