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

* doc/org/tut23.org: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-02-12 10:40:34 +01:00
parent 9609f1e50b
commit 7f7d078f2f
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/org/tut23.org
View file

@ -172,8 +172,9 @@ Alternating automata in Spot can also have a universal initial state:
e.g, an automaton may start in =0&1&2=. Use =set_univ_init_state()= e.g, an automaton may start in =0&1&2=. Use =set_univ_init_state()=
to declare such as state. to declare such as state.
We have a [[file:tut24.org][separate page]] describing how to explore the edge of an We have a [[file:tut24.org][separate page]] describing how to explore the edges of an
alternating automaton. alternating automaton.
Once you have built an alternating automaton, you can [[file:tut31.org][remove the Once you have built an alternating automaton, you can [[file:tut31.org][remove the
alternation]] to obtain a Büchi or generalized Büchi automaton.. alternation]] to obtain a non-deterministic Büchi or generalized Büchi
automaton.