ustify"> A називається довільний елемент декартової ступеня A n , тобто послідовність a 1 , ..., a n . Такий ланцюжок зазвичай позначається a 1 ... a n . Використовується також
порожній ланцюжок , або ланцюжок довжини 0, позначається. Довільні ланцюжка позначаються малими буквами грецького алфавіту, а символи латинського.
Безліч всіх ланцюжків (кінцевої довжини) в алфавіті A i> позначається A * . Для будь-якого A виконується A * . Зокрема, коли з визначень випливає, що A * = {} . Очевидно, що безліч A * завжди рахункове і, якщо A , нескінченно.
Основною операцією над ланцюжками є конкатенація , яку зазвичай не зображують. Вона визначається властивостями
a 1 , ..., a n b 1 , ..., b m < i align = "justify"> a 1 , ..., a n b 1 , ..., b m .
По відношенню до алгебраїчної структурі операція конкатенації являє собою або напівгрупу, або моноід. Моноід, якщо є одиничний оператор. Одиницею операції конкатенації є пробіл. Ланцюжок (рядок) - упорядкована сукупність літер в алфавіті. p align="justify"> Окремий символ являє собою ланцюжок довжини 1. Довжина ланцюжка позначається. p align="justify"> ...