diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2021-01-12 20:33:53 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2021-01-12 20:33:53 +1100 |
| commit | 703a09c135d04b37be34d95915c32d70d730894c (patch) | |
| tree | 4395fc75fd97593dec7380a99e6583d055ec6674 /curtail.txt | |
| parent | 7c2ecebc8f68320fd159e1a9b810fa74daab7ca4 (diff) | |
Memoize and curtailment for left recursion should be correct now
Diffstat (limited to 'curtail.txt')
| -rw-r--r-- | curtail.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/curtail.txt b/curtail.txt index 38fd238..b9c88b1 100644 --- a/curtail.txt +++ b/curtail.txt @@ -20,5 +20,7 @@ when depth of a curtail is less than or equal to remaining tokens of input after when depth of curtail plus remaining tokens after furthest finish of a result is less than or equal to total input tokens plus one, curtail can be deleted from a result +when depth of curtail plus remaining tokens after furthest finish of a result is less than or equal to remaining tokens at the start of a result, then curtail can be deleted from result, because in that case it is no longer possible for curtail to happen due to excessive combinator recursion + |