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@lrde.epita.fr> wrote:

‪On Tue, Oct 20, 2020 at 12:47 PM ‫רועי פוגלר‬‎ <roi.fogler@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