created for TCC 2017
Implementation for the state elimination algorithm descriped in the paper can be downloaded from JFLAP website: http://www.jflap.org/
the compact and simplified implementation can be found here: https://www.informatik.hu-berlin.de/de/forschung/gebiete/se/research/ongoingprojects/ensure/ttc
We extended the implementation for probabilistic version of state elimination in the folder 3) ProbJFLAP/
Required resources are included in other two projects:
1)ExperimentalData is an EMF project and includes
- metamodel of Transition graphs
- EMF instance models under ..testdata/emf for each specific tasks
2)EvaluationFramework is a Java project and includes
- Evaluation framework for the possible solutions
- Tests for the Regex correctness with positive and negative data under ../testdata