Скінченний автомат (СА)

Автомат із кінцевим числом станів. Один з них називають «початковим станом». Автомат переходит з одного стану в інший під впливом «керування», що залежить від зовнішніх впливів: надійшовших сигналів або даних. Призначенням кожного стану є запам’ятовування визначеного моменту історії системи .

За типом керування СА поділяють на детерміновані (що переходять в кожний момент часу тільки в один стан) і недетерміновані (можуть мати переходи одночасно у кілька станів). СА широко використовують у програмуванні, наприклад, у лексичних аналізаторах компіляторів .