diff options
Diffstat (limited to '00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing')
| -rw-r--r-- | 00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md b/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md index e57e084..5135527 100644 --- a/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md +++ b/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md @@ -153,7 +153,9 @@ parse (parseOp (+) '+' <|> parseOp (-) '-' <|> parseOp (*) '*' <|> parseOp (div) ## Monadic parsing of context-sensitive grammars -The canonical non-context-free language can not be caputred by applicative parsing anymore: $$\{a^n b^n c^n : n \geqslant 1\}$$ +The canonical non-context-free language can not be caputred by applicative parsing anymore: + +\$\$\\{a^n b^n c^n : n \\geqslant 1\\}$\$ The following monadic parser will work here: |