All courses/Digital

Course 275 · Digital course 38

Build a Workflow with a State Machine

Build a tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases. Work from supplied original examples and check changed cases.

Before you start

Complete or review Programming with Python before starting.

Programming with Python See everything you’ll need

Free download · Original practice data · No external account required. Download the starter pack

What you’ll leave with

A tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases.

Start course Start without an account. Sign in to save lesson progress across devices.

Your project

Start with the practice files. Build your project one lesson at a time.

Practice files are free without an account. Sign in to save your project record in My Proof: a description, checklist, and optional work link. Keep the original files in your own app or notebook; saving a project record does not upload them.

  1. Get your materialsDownload practice filesSupplied practice cases, a blank working record, complete lesson instructions, and annotated worked examples.
  2. Make your projectView the project checklist Work in your own notebook, document, or software. Use the supplied practice examples when you prefer.
  3. Keep a private recordSave a project record Sign in to save a description and checklist, then return to update them.
Course handbook

Know the route before you begin.

Here’s what you’ll need and what you’ll make. You can return to this guide during any lesson.

Who this is for

Learners ages 14+ and adults ready for the named prerequisite; no employment or private records required.

Prepare before lesson one
  • Complete or review Programming with Python before starting.
  • Use a local text editor and a free Python 3.10+ interpreter for Python files, or a current browser for HTML files. Supplied code uses no paid services or external packages.
  • Create a fresh practice folder and use only the supplied fictional inputs. A paper trace is labeled a trace, not an executed test.
Your final project

Finish with proof you can use.

A tested fictional equipment-repair workflow with a transition table, guarded actions, rejected transitions and a trace of two complete cases.

Save a project record in My Proof
See project checklist and review criteria

Keep your working files in your own notebook or software. Save a private description, checklist, and work link in My Proof.

What to include

  • A workflow map with distinct states and events.
  • A complete allowed-transition table and a rejection case.
  • A guarded verification matrix with accepted and rejected cases.
  • An impossible-event test with state preservation.
  • Complete, resumed and rejected workflow traces.
  • A tested finite workflow model with honest completion boundaries.

Review and revise

Use these criteria to check your work and choose what to improve.

  • The implementation or declared simulation follows the supplied contract and retains inspectable original inputs.
  • Normal, boundary and rejected cases are recorded with expected versus observed results.
  • The changed case has a correct explanation and does not rely on hidden state.
  • The project includes source, outputs, instructions and honest tool, privacy and verification limits.
Three ideas to help you along the way
Three useful ideas

The rules behind the steps.

01

State the contract

Name inputs, permitted states and observable outputs before editing the implementation.

02

Preserve the evidence

Keep the actual source, changed input and expected/observed record so someone can repeat the work.

03

Test the boundary

Check a rejection or changed case and distinguish local practice from real service or native-tool behavior.

What do these words mean?
Key words

Key terms worth knowing.

State
The current named condition of work.
Event
An attempted action that may change state.
Guard
A condition required for an allowed transition.
Idempotency
A declared repeat behavior with the same effect.
Your route

6 lessons.
One useful project.

Work in order the first time. Each lesson makes something the next lesson can use.

  1. 1
    Up next

    Define states separately from events

    Apply define states separately from events to the supplied case and produce A workflow map with distinct states and events.

  2. 2
    16 min

    Build a transition table

    Apply build a transition table to the supplied case and produce A complete allowed-transition table and a rejection case.

  3. 3
    19 min

    Apply guarded transitions

    Apply apply guarded transitions to the supplied case and produce A guarded verification matrix with accepted and rejected cases.

  4. 4
    16 min

    Reject an impossible event

    Apply reject an impossible event to the supplied case and produce An impossible-event test with state preservation.

  5. 5
    22 min

    Test complete and interrupted paths

    Apply test complete and interrupted paths to the supplied case and produce Complete, resumed and rejected workflow traces.

  6. 6
    24 min

    Explain the state machine and limits

    Apply explain the state machine and limits to the supplied case and produce A tested finite workflow model with honest completion boundaries.

Use the tools

Tools to help you practice.

See all tools
Source transparency

Sources and further study.

Explore the references behind the lessons and take your learning further. Source notes explain access and reuse.

Python built-in mapping types — dictionaries
Source & access notes · checked 2026-10-01

Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.

Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.

Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.

docs.python.org — controlflow.html
Source & access notes · checked 2026-10-01

Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.

Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.

Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.

docs.python.org — unittest.html
Source & access notes · checked 2026-10-01

Relevant documented module/API behavior inspected during expansion authoring; actual execution evidence is recorded separately. No grant eligibility is established.

Access: Official page retrieved with the web reader on 2026-10-01. Documentation reading does not certify execution in every native tool or browser.

Reuse: Original local practice files, fictional data, worked examples and questions. Concepts paraphrased and linked; source exercises are not copied.

Ready when you are

Start with the first useful move.

You’ll always know what to do, what to make, and where to go next.

Start lesson one