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