24 Nov
2020
24 Nov
'20
11:36 a.m.
On Mon, Nov 23, 2020 at 7:35 PM רועי פוגלר roi.fogler@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