13 states 4 scans 3 shifts 9 reductions 0 compares 0 ambiguities
( a  φ  ω )