p <|> q
p
q
Festlegung (in Parsec): wenn p wenigstens ein Zeichen verbraucht, dann wird q nicht benutzt (d. h. p muß erfolgreich sein)
Backtracking dann nur durch try p <|> q
try p <|> q