結果 : finite state machine in software engineering geeksforgeeks