6 Nov
2020
6 Nov
'20
2:28 p.m.
Hello,
Is there a way to "ask" an automata if it accepts a word?
e.g.
a = spot.translate('a U b')
a.accepts('b') ?T/F
Regards,
Roi