
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@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