Diplom thesis for Computer Science in Automata theory - View it on GitHub