Автомат состояний

🛠 Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов