Описана технология автоматного программирования в интеграции с технологиями предикатного и объектно-ориентированного программирования. Автоматная программа реализует конечный автомат в виде гиперграфа управляющих состояний. Технология автоматного программирования иллюстрируется на примерах программы моделирования электронных часов с будильником и протокола передачи данных ATM Adaptation Layer уровня Type 2 AAL.