Stav dette: Autómatas programables