Separating Words with Automata in the Half-adversarial Case

Gabriel Bathie

We consider the problem of separating words with deterministic finite automata (DFA) (Goral{č}{í}k and Koubek, 1986). This problem asks: given two distinct words $u,v$ of length at…