Сейчас поймал эпичный баг, когда логика работы конечного автомата зависела от порядка строк. Ну, то есть в одной строке неявно менялось состояние, которое проверялось в следующей. Написал об этом длинный пост, но понял, что получилось запутанно и никому не интересно и удалил. А вообще, конечный автомат хорошая штука, всем советую.