How to construct the product of DFAs?

24 views
Skip to first unread message

Wolfram Kahl

unread,
Jun 15, 2021, 11:31:28 PM6/15/21
to AutomataLib Q&A

Considering whether to use automatalib, I have been looking for product automata construction, and could only find ProductOneSEVPA, which feels like overkill for producing an automaton for accepting the intersection of the languages of two given automata. But the API-docs summary page has no other occurrence of the word "product", and no occurrence of the word "intersection". What should I be looking for?


Best,

Wolfram

Ocan Sankur

unread,
Mar 19, 2023, 12:10:51 PM3/19/23
to AutomataLib Q&A
I believe the answer is the "and" method here:
Reply all
Reply to author
Forward
0 new messages