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

* doc/tl/tl.tex: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-11-05 12:11:00 +01:00
parent 3f64e9723f
commit fe1f754d2e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/tl/tl.tex
View file

@ -865,7 +865,7 @@ is therefore a model of the formula \samp{$\sere{a\PLUS{}\CONCAT\NOT
a}$} even though it never sees \samp{$\NOT a$}. The same sequence a}$} even though it never sees \samp{$\NOT a$}. The same sequence
is not a model of \samp{$\sere{a\PLUS{}\CONCAT\NOT is not a model of \samp{$\sere{a\PLUS{}\CONCAT\NOT
a\CONCAT(a\STAR{}\ANDALT(a\STAR{}\CONCAT\NOT a\CONCAT a\CONCAT(a\STAR{}\ANDALT(a\STAR{}\CONCAT\NOT a\CONCAT
a\STAR{}))}$} because this SERE does accept any word. a\STAR{}))}$} because this SERE does not accept any word.
Note that the semantics of $\sere{r}$ comes from the Note that the semantics of $\sere{r}$ comes from the
$\mathsf{cl}(\cdot)$ operator defined by~\citet{dax.09.atva}. This $\mathsf{cl}(\cdot)$ operator defined by~\citet{dax.09.atva}. This