SeminarWim Martens - Efficient Separability of Regular Languages by Subsequences and Suffixes I17.04.2013