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,
On Tue, Oct 20, 2020 at 10:08 AM רועי פוגלר roi.fogler@gmail.com wrote:
I'm trying to use the spot tool (python version) and I'm trying to
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