20 Oct
2020
20 Oct
'20
10:08 a.m.
My name is Roi and I'm an Msc student at Bar Ilan University (Israel).
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?
In addition, is there an example of Angluin implementation using Spot?
Regards,
Roi
20 Oct
20 Oct
10:18 a.m.
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
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
4:29 p.m.
On Tue, Oct 20, 2020 at 12:47 PM רועי פוגלר <roi.fogler(a)gmail.com> wrote:
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]);
The tut22.html page has three examples. The second, to which my link
pointed, talks about Büchi automata. The above line is from the third
example with some arbitrary acceptance condition. (You may read the
first 11 sections of https://spot.lrde.epita.fr/concepts.html if you
want some introduction to those different types of automata.)
b. Can I set the automata to buchi directly?
Sorry, I don't understand what you mean by "directly" here.
--
Alexandre Duret-Lutz
5:06 p.m.
a. Thank you, it's well explained in the document.
b. I meant to (it's actually in the example you pointed)
# Set the acceptance condition of the automaton to Inf(0)
aut.set_buchi()
Regards,
Roi
On Tue, 20 Oct 2020 at 17:29, Alexandre Duret-Lutz <adl(a)lrde.epita.fr>
wrote:
On Tue, Oct 20, 2020 at 12:47 PM רועי פוגלר
<roi.fogler(a)gmail.com>
wrote:
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]);
The tut22.html page has three examples. The second, to which my link
pointed, talks about Büchi automata. The above line is from the third
example with some arbitrary acceptance condition. (You may read the
first 11 sections of https://spot.lrde.epita.fr/concepts.html if you
want some introduction to those different types of automata.)
b. Can I set the automata to buchi directly?
Sorry, I don't understand what you mean by "directly" here.
--
Alexandre Duret-Lutz
1569
days inactive
1569
days old
4 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
רועי פוגלר