From 0c52c490798a92fda213105592ea30a69366be25 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 18 Jul 2024 16:36:01 +0200 Subject: [PATCH] doc: fix documentation of P and R classes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/tl/tl.tex: Remove four incorrect production rules in the grammar for φ_P and φ_R, and fix two. --- doc/tl/tl.tex | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex index 141daa7b8..8982f606f 100644 --- a/doc/tl/tl.tex +++ b/doc/tl/tl.tex @@ -1308,8 +1308,7 @@ any unbounded SERE. \sere{r_I}\Asuffix \varphi_S\\ \varphi_P ::={}& \varphi_O \mid \NOT\varphi_R\mid \varphi_P\AND \varphi_P\mid (\varphi_P\OR \varphi_P)\mid - \varphi_P\EQUIV \varphi_P\mid \varphi_P\XOR \varphi_P\mid - \varphi_P\IMPLIES \varphi_P\\ + \varphi_R\IMPLIES \varphi_P\\ \mid{}& \X\varphi_P \mid \F\varphi_P \mid \varphi_P\U\varphi_P\mid\varphi_P\R\varphi_S\mid \varphi_S\W\varphi_P\mid\varphi_P\M\varphi_P\\ @@ -1318,8 +1317,7 @@ any unbounded SERE. \sere{r_I}\Asuffix \varphi_S\\ \varphi_R ::={}& \varphi_O \mid \NOT\varphi_P\mid \varphi_R\AND \varphi_R\mid (\varphi_R\OR \varphi_R)\mid - \varphi_R\EQUIV \varphi_R\mid \varphi_R\XOR \varphi_R\mid - \varphi_R\IMPLIES \varphi_R\\ + \varphi_P\IMPLIES \varphi_R\\ \mid{}& \X\varphi_R \mid \G\varphi_R \mid \varphi_R\U\varphi_G\mid\varphi_R\R\varphi_R\mid \varphi_R\W\varphi_R\mid\varphi_G\M\varphi_R\\