From 76517d9cd27599389d3177e7584e0b2d2da36a7f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Apr 2019 16:35:01 +0200 Subject: [PATCH] org: adjust text for simplified example for dstar2tgba * doc/org/dstar2tgba.org: Simplify example now that the automaton is further reduced. --- doc/org/dstar2tgba.org | 40 +++++++++++----------------------------- 1 file changed, 11 insertions(+), 29 deletions(-) diff --git a/doc/org/dstar2tgba.org b/doc/org/dstar2tgba.org index 88c55e2cc..f4f304ab3 100644 --- a/doc/org/dstar2tgba.org +++ b/doc/org/dstar2tgba.org @@ -211,9 +211,7 @@ $txt -And now its conversion by =dstar2tgba= to a 4-state TGBA. -We don't pass any option to =dstar2tgba= because converting to TGBA is -the default: +And now its conversion by =dstar2tgba= to a 1-state TGBA. #+NAME: gfagfb2ba #+BEGIN_SRC sh :results verbatim :exports code @@ -221,35 +219,23 @@ dstar2tgba gfagfb -d #+END_SRC #+RESULTS: gfagfb2ba #+begin_example -digraph G { +digraph "" { rankdir=LR + label=⓿)&Inf(❶)
[gen. Büchi 2]> + labelloc="t" node [shape="circle"] + node [style="filled", fillcolor="#ffffa0"] fontname="Lato" node [fontname="Lato"] edge [fontname="Lato"] - node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7] + node[fontsize=12] fontsize=12 stylesheet="spot.css" edge[arrowhead=vee, arrowsize=.7, fontsize=12] I [label="", style=invis, width=0] I -> 0 - 0 [label="0"] - 0 -> 0 [label=⓿❶>] - 0 -> 1 [label=⓿❶>] - 0 -> 2 [label=⓿❶>] - 0 -> 3 [label=⓿❶>] - 1 [label="1"] - 1 -> 0 [label=❶>] - 1 -> 1 [label=❶>] - 1 -> 2 [label=❶>] - 1 -> 3 [label=❶>] - 2 [label="2"] - 2 -> 0 [label=⓿>] - 2 -> 1 [label=⓿>] - 2 -> 2 [label=⓿>] - 2 -> 3 [label=⓿>] - 3 [label="3"] - 3 -> 0 [label=] - 3 -> 1 [label=] - 3 -> 2 [label=] - 3 -> 3 [label=] + 0 [label=<0>] + 0 -> 0 [label=] + 0 -> 0 [label=❶>] + 0 -> 0 [label=⓿>] + 0 -> 0 [label=⓿❶>] } #+end_example @@ -259,10 +245,6 @@ $txt #+RESULTS: [[file:gfagfb2ba.svg]] -Obviously the resulting automaton could be simplified further, as the -minimal TGBA for this formula has a single state. (Patches -welcome...) - * Details ** General behavior