Christof Löding, Andreas Tollkötter: Transformation Between Regular Expressions and omega-Automata. MFCS 2016: 88:1-88:13