2.8 Sequential Machines