Когда цикл считается регулярным?

Цикл считается регулярным, если он может быть описан конечным автоматом. Более точно, если для данного цикла существует конечный автомат, который может прочитать входную последовательность символов и остановиться в одном из конечных состояний автомата, то этот цикл считается регулярным. Регулярные циклы имеют важное приложение в теории формальных языков и автоматическом анализе программ.