Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups

AutomataLib Q&A

Conversations
About
Privacy • Terms

AutomataLib Q&A

1–3 of 3


Welcome to the AutomataLib Q&A group! All users of AutomataLib are invited to post their questions regarding the usage of AutomataLib here.

If you think you have discovered a bug in AutomataLib, please report it using the issue tracker.


Mark all as read
Report abusive group
0 selected


Wolfram Kahl's profile photo
Wolfram Kahl
6/15/21
How to construct the product of DFAs?
Considering whether to use automatalib, I have been looking for product automata construction, and
unread,
How to construct the product of DFAs?
Considering whether to use automatalib, I have been looking for product automata construction, and
6/15/21

Rafael Martinez's profile photo
Rafael Martinez, Markus Frohme3
10/1/18
Q&A
SEVERE ERROR
Are you using maven or the standalone distribution jar? If you are using maven, it should simply
unread,
Q&A
SEVERE ERROR
Are you using maven or the standalone distribution jar? If you are using maven, it should simply
10/1/18

Prajyothchand PJR's profile photo
Prajyothchand PJR, Markus Frohme2
5/18/18
Q&A
Importing dot files in Automata Lib
Hi Jasper, currently, there exists no DOT-Importer for AutomataLib. I think the easiest way to import
unread,
Q&A
Importing dot files in Automata Lib
Hi Jasper, currently, there exists no DOT-Importer for AutomataLib. I think the easiest way to import
5/18/18

Search
Clear search
Close search
Google apps
Main menu