finite_automation
