Wim Martens - Efficient Separability of Regular Languages by Subsequences and Suffixes I