syntactical analysis by transversing diagrams of nodes and conditional paths (symbol, another diagram, any) associated with actions. operates on succeed and fail or multiple (testable) succeeds. ... [p. 400] well-behaved diagrams: can't call self unless move the window, window can't be backed up (i.e., once accept a character can't put a new meaning on it without failing the whole diagram.