check if word exists in language
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
22 Oct
22 Oct
12:06 p.m.
Hello, I think I found the way - aut_f.exclusive_word(aut_g) ( https://spot-sandbox.lrde.epita.fr/notebooks/examples%20(read%20only)/contai... ) Regards, Roi On Wed, 21 Oct 2020 at 14:28, רועי פוגלר <roi.fogler@gmail.com> wrote:
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
1793
Age (days ago)
1794
Last active (days ago)
1 comments
1 participants
participants (1)
-
רועי פוגלר