Van toestandsdiagram naar programma