Két véges abc feletti szót kell elválasztani egymástól egy véges automata segítségével. Az
egyik szót az automatának el kell fogadnia, míg a másik szót elutasítania. A cél, hogy az
automatának a legkevesebb állapota legyen adott szópár esetén. A problémát lehet vizsgálni
determinisztikus és nem determinisztikus automatákkal is. Illetve érdemes foglakozni a
speciális eseteivel is, mint például ha az egyik szó a másiknak a megfordítottja.