本程序是用在编译原理实验课中的用于构造移近规约表并对正规式进行验证，看其是否满足要求。-This procedure is used at compile-principle experiment in the course closer to the Statute of the table used to construct and validate formal ceremony to see if they meet the requirements.