// a simple recognizer, produces no useful value ometa Alpha { S = S S 'a' | 'aa' | 'a' Start = S end } Alpha.matchAll('aab', 'Start')