Реализация конечных автоматов через систему типов Rust