CL18 inductive definitions
Slides 2 — 5 each give an example of an inductive definition that we have already studied earlier in the course.
Slide 7 gives another example, implicit in our previous work, but now made explicit.
If you look back at our code for FSMs and NFA, you will s
立即观看