Thank you, that's exactly what I was looking for, but I still didn't understand the following: a. What means [0, 2] in aut.new_edge(2, 1, p1 | p2, *[0, 2]*); b. Can I set the automata to buchi directly? Regards, Roi On Tue, 20 Oct 2020 at 11:18, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
Hi Roi,
I'm trying to use the spot tool (python version) and I'm trying to
On Tue, Oct 20, 2020 at 10:08 AM רועי פוגלר <roi.fogler@gmail.com> wrote: figure out how to build spot-automata (spot.twa_graph object) type when my input is the edges, states and accepting states.
can you help me please with that?
It seems this is what https://spot.lrde.epita.fr/tut22.html#sba is demonstrating?
In addition, is there an example of Angluin implementation using Spot?
Not that I know of.
Best regards, -- Alexandre Duret-Lutz