alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

doc: fix documentation of P and R classes

Browse source 
* doc/tl/tl.tex: Remove four incorrect production rules in the grammar
for φ_P and φ_R, and fix two.
This commit is contained in:
Alexandre Duret-Lutz 2024-07-18 16:36:01 +02:00
parent 6a7ef4db3f
commit 0c52c49079
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/tl/tl.tex
View file

@ -1308,8 +1308,7 @@ any unbounded SERE.
\sere{r_I}\Asuffix \varphi_S\\ \sere{r_I}\Asuffix \varphi_S\\
\varphi_P ::={}& \varphi_O \mid \NOT\varphi_R\mid \varphi_P ::={}& \varphi_O \mid \NOT\varphi_R\mid
\varphi_P\AND \varphi_P\mid (\varphi_P\OR \varphi_P)\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_R\IMPLIES \varphi_P\\
\varphi_P\IMPLIES \varphi_P\\
\mid{}& \X\varphi_P \mid \F\varphi_P \mid \mid{}& \X\varphi_P \mid \F\varphi_P \mid
\varphi_P\U\varphi_P\mid\varphi_P\R\varphi_S\mid \varphi_P\U\varphi_P\mid\varphi_P\R\varphi_S\mid
\varphi_S\W\varphi_P\mid\varphi_P\M\varphi_P\\ \varphi_S\W\varphi_P\mid\varphi_P\M\varphi_P\\
@ -1318,8 +1317,7 @@ any unbounded SERE.
\sere{r_I}\Asuffix \varphi_S\\ \sere{r_I}\Asuffix \varphi_S\\
\varphi_R ::={}& \varphi_O \mid \NOT\varphi_P\mid \varphi_R ::={}& \varphi_O \mid \NOT\varphi_P\mid
\varphi_R\AND \varphi_R\mid (\varphi_R\OR \varphi_R)\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_P\IMPLIES \varphi_R\\
\varphi_R\IMPLIES \varphi_R\\
\mid{}& \X\varphi_R \mid \G\varphi_R \mid \mid{}& \X\varphi_R \mid \G\varphi_R \mid
\varphi_R\U\varphi_G\mid\varphi_R\R\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\\ \varphi_R\W\varphi_R\mid\varphi_G\M\varphi_R\\