Introduction of (double) rejection made libparser a right-context-sensitive grammar parser1.1.2

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 10 insertions, 2 deletions

diff --git a/libparser.7 b/libparser.7
index c81f746..adb051f 100644
--- a/libparser.7
+++ b/libparser.7
@@ -1,11 +1,11 @@
 .TH LIBPARSER 7 LIBPARSER
 .SH NAME
-libparser \- Context-free grammar parsing library
+libparser \- Right-context-sensitive grammar parsing library
 
 .SH DESCRIPTION
 .B libparser
 is a small C library that parses input based on a
-precompiled context-free grammar.
+precompiled right-context-sensitive grammar.
 .PP
 To use
 .BR libparser ,
@@ -150,6 +150,14 @@ Left recursion is illegal (it will cause stack
 overflow at runtime as the empty condition before the
 recursion is always met).
 
+.SS Right-context-sensitive grammar
+libparser originally used context-free grammar, but with
+introduction of the rejection rule, specifically the ability
+to reject a rejection, it became a prase for
+right-context-sensitive grammar which is a grammar that is
+that can generate any context-sensitive language, it is
+however weakly equivalent to context-sensitive grammar.
+
 .SH SEE ALSO
 .BR libparser-generate (1),
 .BR libparser_parse_file (3)