From 703a09c135d04b37be34d95915c32d70d730894c Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 12 Jan 2021 20:33:53 +1100 Subject: Memoize and curtailment for left recursion should be correct now --- curtail.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'curtail.txt') 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 + -- cgit