MTIP Automata transformations
Document Actions
This is an example implementation of the transformation of non deterministic to deterministic and deterministic to minimal automata.
MTIP
This example is the MTIP-workshop mandatory example implementation of the transformation of non deterministic to deterministic and deterministic to minimal automata.
Quick howto
To install and use this sample, there are a few instructions to follow :
- Unzip the archive you downloaded (already in a mtip folder)
- To launch the determinization or minimization transformations, you just have to launch one of the wanted transformations located in mtip/automata/transfo. You will be asked to give a path for the input automaton (you can choose an EMF instance of the meta model automata.ecore located in mtip/automata/models) and a path for the file where you want to save the output automaton.
- You can either create models through the Sample Ecore Editor provided by EMF plugin, are also create them directly in Kermeta (if you don't want to use EMF) as in the example shown in models/samples.kmt, and so, give accordingly a few modifications in the Main::main methods of the transformations to use them. A dot representation of the automata is printed in output, you can so see the output model with graphviz.
Download
You can download the determinization and minimization transformations example here: