A experimental programming language for finite-state machine model