finite-state [adjective] + machine [noun]