Реализация конечного автомата в PostgreSQL (англ.)