Groups

AutomataLib Q&A (retired)

Contact owners and managers

1–4 of 4

This is the former (now retired) AutomataLib Q&A mailing list. Please use the new Discussions page over at Github to pose new questions and engange with the community.

0 selected

10/10/23

Retirement of the mailing list

Dear all, I would like to announce that we are retiring the AutomataLib Q&A mailing list in favor

unread,

Retirement of the mailing list

Dear all, I would like to announce that we are retiring the AutomataLib Q&A mailing list in favor

10/10/23

Wolfram Kahl, Ocan Sankur2

3/19/23

How to construct the product of DFAs?

I believe the answer is the "and" method here: http://learnlib.github.io/automatalib/maven-

unread,

How to construct the product of DFAs?

I believe the answer is the "and" method here: http://learnlib.github.io/automatalib/maven-

3/19/23

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