From 7fba516d435786fb399ba008c720a291a3843a2e Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 5 Jan 2026 12:56:01 +0100 Subject: Non-deterministic (and slow) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- libparser.7 | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'libparser.7') diff --git a/libparser.7 b/libparser.7 index 5b5b9b3..7157769 100644 --- a/libparser.7 +++ b/libparser.7 @@ -123,8 +123,10 @@ out that it could not finish that branch. Whenever an exception is reached, the parser will terminate there. .PP Repeated symbols may occur any number of times, -including zero. The compiler is able to backtrack if it -takes too much. +including zero. The parser will try to take as much +as possible. +.PP +Optional symbols are taken whenever possible. .PP Concatenation has higher precedence than alternation, groups -- cgit v1.2.3-70-g09d2