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.

0 selected

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 Frohme3

10/1/18

Are you using maven or the standalone distribution jar? If you are using maven, it should simply

unread,

Are you using maven or the standalone distribution jar? If you are using maven, it should simply

10/1/18

Prajyothchand PJR, Markus Frohme2

5/18/18

Importing dot files in Automata Lib

Hi Jasper, currently, there exists no DOT-Importer for AutomataLib. I think the easiest way to import

unread,

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