On abstract finite-state morphology · Study