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