Formalizing program structures in the regular expression would be done during the program modification. In the case the hand processing would cause to some errors along with a lot of work. Especially, they would be serious factors to the case of such structure as with many terms and parentheses running to 35. To clear them it is effective to develop a supporting system for the formalization. In this paper it is reported a prototype system which enables to separate program structures automatically to express them, in the regular expression, and to support the development of equations.
展开▼