摘要 |
PURPOSE:To attain deleting action with high memory efficiency by adding a deletion list to each clause. CONSTITUTION:Whether a clause satisfying the deletion part of an operation OP exists in a state S0 or not is checked, and at the time of existence, a new state SS is added to the deletion list of the clause C. When there is no clause C, a state S1 forming the state S0 is found out and the S1 is processed as the S0. If a state (c) is deleted by regarding the current state as a state S3, whether the state (c) exists in the state S3 or not is checked, and at the time of no existence, the processing is returned to the preceding state S1 and whether the state (c) exists in the state S1 or not is checked. At the time of existence, delete X is written in the state (c).
|