20 Oct
2020
20 Oct
'20
12:46 p.m.
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(a)lrde.epita.fr>
wrote:
Hi Roi,
On Tue, Oct 20, 2020 at 10:08 AM רועי פוגלר <roi.fogler(a)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