Sukhotin's algorithm