24 Nov
2020
24 Nov
'20
11:36 a.m.
On Mon, Nov 23, 2020 at 7:35 PM רועי פוגלר <roi.fogler(a)gmail.com> wrote:
I'm wondering why I have to check if the automata
intersect and not if
aut_1.contains(word_automata)?
A⊇W is implemented as Ā∩W=∅, where computing the complement Ā is often costly.
But if you know that W contains only one element, A∩W≠∅ is equivalent
and faster.
--
Alexandre Duret-Lutz