A feladat egy minél kevesebb állapotú véges automatát találni, amely megkülönböztét két előre adott szót. Egy eddig megválaszolatlan kérdés, hogy a legrosszabb esetben hány állapot kell n hosszú szavak esetén. A projekt célja a megjelent eredmények áttekintése és három szó megkülönböztetésének vizsgálata.