more situations in my determ. finite state autom.