state elimination method