State Elimination as Model Transformation Problem
State Elimination as Model Transformation Problem
Sinem Getir, Duc Ahn Vu, Francois Peverali and Timo Kehrer
State elimination has been proposed in the literature as a viable technique for transforming finite state automata (or finite state machines) into equivalent regular expressions. In this TTC case, we consider this well-known technique as a model transformation problem, aiming at evaluating the suitability, performance and scalability of dedicated model transformation techniques w.r.t. this problem.
Supplementary Material