Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
AutomataLib Q&A
Conversations
About
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
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
,
Markus Frohme
3
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
,
Markus Frohme
2
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