From cb9867b7d4ce7d67cbb89ceda02bd43b15d8721d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 5 Mar 2015 20:42:38 +0100 Subject: [PATCH] org: fix -o example * doc/org/oaut.org: Adjust the parameters of randaut so that we get a mix of deterministic and nondeterministic automata. --- doc/org/oaut.org | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 578b76a4c..6f8b3ce75 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -1002,14 +1002,14 @@ automaton is deterministic. We can generate 20 random automata, and output them in two files depending on their determinism: #+BEGIN_SRC sh :results verbatim :exports both -randaut -n 20 -S2 1 -H -o out-det%d.hoa +randaut -n 20 -S2 -d1 1 -H -o out-det%d.hoa autfilt -c out-det0.hoa # Count of non-deterministic automata autfilt -c out-det1.hoa # Count of deterministic automata #+END_SRC #+RESULTS: -: 4 -: 16 +: 14 +: 6 If you use this feature, beware that the output filename is only truncated by the first file that is output to it: so @@ -1020,13 +1020,13 @@ deterministic automata, it may look like we produced more than 20 automata: #+BEGIN_SRC sh :results verbatim :exports both -randaut -D -n 20 -S2 1 -H -o out-det%d.hoa +randaut -D -n 20 -S2 -d1 1 -H -o out-det%d.hoa autfilt -c out-det0.hoa # Count of non-deterministic automata autfilt -c out-det1.hoa # Count of deterministic automata #+END_SRC #+RESULTS: -: 4 +: 14 : 20 This is because the =out-det0.hoa= file hasn't changed from the -- GitLab