Kombinator-Parser und Grammatiken

Grammatik mit Regeln S$ \to$aSbS, S$ \to$$ \epsilon$ entspricht

s :: Parser Char ()
s =   do { expect 'a' ; s ; expect 'b' ; s } 
  <|> return ()

Anwendung: exec "abab" $ do s ; eof



2009-11-20