diff --git a/README.md b/README.md index 7e0d96c..6bf03b2 100644 --- a/README.md +++ b/README.md @@ -84,7 +84,7 @@ P ::= P() | ε ``` ...which, due to the first rule, was regrettably indeed left-recursive. That rule should be able to be fixed using the following adjustment, though: -`P() => P{()}+` (where `{}` denotes a grouping, and `()` still just denote parentheses. In PCRE regex syntax, this would be `(\(\))*`). +`P() → P{()}+` (where `{}` denotes a grouping, and `()` still just denote parentheses. In PCRE regex syntax, this would be `(\(\))*`). Note that `S` is just the grammar for one line of parentheses, without the line-break character of end-of-file part of the specification taken into account. The full grammar is: