Observation loses distinctions
Paths A → B → D and A → C → D both produce α → β → γ. The observations alone do not tell you whether B or C was visited.
02 / CONTEXTUAL TRANSITION EXPLORER
Follow a possibility.
Watch what survives.
Change a constraint, take an admissible step, and compare the state with its observation.
Synthetic finite-state teaching example · provisional C = (U, A, T, o) interpretation · no measured data.
Define the context
If a new constraint excludes the current path, the path resets to the selected start. The start is always admissible.
Take the next step
Interactive controls require JavaScript. The full model is listed below.
DIRECTED TRANSITION GRAPHILLUSTRATIVE
◎ Current stateSolid edge: admissibleDashed edge / ×: excluded
STATE PATH
OBSERVATION PATH
From A, the unmodified graph reaches A, B, C, D, and E.
Reachable does not mean observed.
The graph has no probabilities or timing. It says which changes are allowed, not which will occur.
Constraints change reachability
Exclude D and start at A: A, B, and C remain reachable, while E no longer has an accessible path. This is a property of this graph.
Accessible model specification
| State | Outgoing transitions | Observation |
|---|---|---|
| A | B, C | α |
| B | D | β |
| C | D | β |
| D | E | γ |
| E | B | γ |