testing for Zeus bot (be careful: the approximated DFA depends strictly
on the chosen finite observation)