私は小さな正規表現パーサーを実装してParsecを学習しようとしています。 >スター - - > exprの expr = try star
<|> try litE
<|> lit
litE = do c <- noneOf "*"
rest <- expr
return (c : rest)
lit = do c <- noneOf
私は最初にやる方法を学びたいと思っている次の文法を持っています。私は正しいと思う。しかし、FOLLOWはここに起因非終端C. に混乱して文法は次のとおりです。FIRSTについては S --> ABC
A --> a | Cb |ε
B --> C | dA | ε
C --> e | f
:FOLLOWについては First(S) = First(A)-{ε} + First(C) =