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

* doc/org/tut40.org: Finish a sentence.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-01-14 15:52:52 +01:00
parent 25d6bfd64d
commit cdbf830010
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/org/tut40.org
View file

@ -25,7 +25,8 @@ $(s',c',a',d')$ leaving $s'$ with a condition $c'$ that covers $c$,
some colors $a'\supseteq a$ that covers the colors of $a$ other
transition, and reaching a destination state $d'$ that simulates $d$.
In the following automaton, for instance, XXX
In the following automaton, for instance, state 5 simulates state 1,
and state 4 simulates state 0.
#+NAME: tut40in
#+BEGIN_SRC hoa