8 Nov
2020
8 Nov
'20
11:06 a.m.
On Fri, Nov 6, 2020 at 10:11 AM רועי פוגלר <roi.fogler(a)gmail.com> wrote:
I still didn't figure out how to make a specific
state as accepting in
Buchi automata
You simply mark all the outgoing transitions of this state as
accepting, as in the tut22 page mentioned several times already.
--
Alexandre Duret-Lutz