First page Back Continue Last page Summary Graphic
This is regular format
A line can be parsed with a regular expression
A line or a block is a group - "()"
The "while" corresponds to a repeat - "*" or "{}"
Matching the end condition is a lookahead assertion - "(?=)" or "(?!)"
Concatenation is concatenation
Selection is "|"
Notes: