The Transform

• The accepting sequence of the machine MX must be modeled in CNF clauses

• First it is necessary to define the a number of variables representing conditions in MX

• Then it is necessary to define clauses to represent the legal accepting sequences of MX

Previous slide

Next slide

Back to first slide

View graphic version