Алфавитом называется любое конечное множество символов, называемых буквами, или знаками алфавита. Если написать последовательность символов, располагая их один за другим, то получается цепочка (а также слово, или строка) символов. Например, 001111 — цепочка в бинарном алфавите {0, 1}. Через е будет обозначаться пустая цепочка, т. е. цепочка, которая не содержит ни одного символа. ∑* обозначает [...]