8 Nov
2020
8 Nov
'20
11:06 a.m.
On Fri, Nov 6, 2020 at 10:11 AM רועי פוגלר <roi.fogler@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