From 7f7d078f2fcbe40b402d9d1e43791de6f2959aad Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 12 Feb 2017 10:40:34 +0100 Subject: [PATCH] * doc/org/tut23.org: Typos. --- doc/org/tut23.org | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/org/tut23.org b/doc/org/tut23.org index 26fab84e4..11277fa34 100644 --- a/doc/org/tut23.org +++ b/doc/org/tut23.org @@ -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()= 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. 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.