Translating software requirement from natural language to automaton

The problems in the requirement using natural language, such as incomplete, inconsistent, ambiguous, can lead to delays or even failures in software projects. The requirement using formal specification can solve these problems. However, translating software requirements from natural language to formal specification has always been a difficulty. This paper proposes a new method for the translation from the natural language to a formal specification, the automaton. Firstly, a constrained structure of natural language is used to specify the requirements, and then two tables are used to extract the characteristics of requirements. At last, the translation from natural language to automaton will finish with help of control structure chart of requirement.