состояние (s1) + переход (t1) = состояние (s2)
всегда
Готовые реализации конечных автоматов
Доклад о приминении конечных автоматов в Яндекс.Диске
Примеры
By Igor Sheko