What Is a State Machine?