state elimination method examples