1 Apr
2019
1 Apr
'19
10:33 a.m.
On Fri, Mar 29, 2019 at 11:16 AM hashim ali <hashim_ali94@outlook.com> wrote:
Hi, Similar to highlighting runs on the automaton, is it possible that I can convert a word to a corresponding run and then I can highlight it on the automaton?
Convert your word W into an automaton AW, then highlight the intersecting run between your other automaton A and AW. aw = spot.parse_word('a;cycle{b}').as_automaton() a.intersecting_run(aw).highlight(5) display(a)