Hello, Actually I see that I didn't understand well the explanation about setting acceptance condition to buchi automata (https://spot.lrde.epita.fr/tut22.html#sba): After these two commands, aut.set_buchi() aut.prop_state_acc(True) How can I make a state accepting? e.g. in the previous example, how I set the "1" state as accepting? Thank you for your time and answers Phillipp On Sat, 14 Nov 2020 at 22:13, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
On Sat, Nov 14, 2020 at 8:43 PM Philip Schwartz <pschwartz090@gmail.com> wrote:
After changing to set_acceptance(1, "Inf(0)") it still returns “p2; cycle{p1 & !p2}”,
That's because the second paragraph of my previous answer still holds...
I thought that after "set_acceptance(1, "Inf(0)")" it makes "1" as accepting state so why the automata accepts only empty language?
What made you think that? -- Alexandre Duret-Lutz