Text this: Synthesis of finite state machines :