21 Oct
2020
21 Oct
'20
1:28 p.m.
Hello,
When my input is a word (string such as 'p1 & !p2; cycle{p2}') and spot
automata,
(e.g.
f = spot.formula("p1 U p2")
aut = spot.translate(f, 'low')
)
is it possible to check if the word exists in automata?
Regards,
Roi