23 Nov
2020
23 Nov
'20
8:10 a.m.
Hello,
I think I found the way:
aut1.intersecting_run(aut2).aut.is_empty()
Regards,
Philipp
On Mon, 23 Nov 2020 at 08:55, Philip Schwartz <pschwartz090(a)gmail.com>
wrote:
Hello Prof. Alexandre Duret-Lutz
Is it possible to do a straightforward intersection between 2 automatas
and check if the intersection has an accepting state?
Regards,
Phillip