On Sat, Nov 14, 2020 at 8:43 PM Philip Schwartz <pschwartz090(a)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