Autoanalyze

A tool able to read automata (NFA, DFA) from dotty files and able to perform a number of analyzes. For example, it is able to report if the input automata represent the same language, if they accept all words of a given alphabet, and if they accept only the empty string or the empty set. The tool is also able to perform some operations with the automata, such as cartesian product, intersection, complement and minimization. It is able to output resulting automata to dotty files. The operations to be performed were specified using a simple language developed during the project. Additionally, this tool can parse/generate regexp to/from automata and also allows their graphic visualization.

https://github.com/migulorama/AutoAnalyze

Transcript

1. Autoanalyze A Tool for Working with Automata By Duarte Duarte, Luís Cleto, Miguel Marques and Ruben Cordeiro COMP/MIEIC/FEUP ‑ 2013/2014
2. What does it do?
3. Reads automata from dot files Performs several analyzes and operations Provides a simple language for specifying the operations
4. Dot Automata
5. What have we already done?
6. A dot grammar parser An intermediate representation for dot graphs A grammar for our AutoScript language
7. Grammars dot grammar AutoScript grammar
8. What are we going to do?
9. Implement automata analysis methods Implement automata operations Elaborate the AutoScript language and parser support control flow constructs (if, else, while, for, ...) multiple variable types (dfa, nfa, bool, ...)
10. What would we also like to do?
11. Extend transition labels to accept regular expressions Convert automata to regular expressions Methods to implement the automata in different languages C/C++, Haskell, Java, ...
12. Thatʹs Everything! Now for a brief introduction to ANTLR4