Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

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