We will start out with a couple of simple keyboard exercises so make sure that you understand how the Prolog programs that we saw in this section work.
Note: The file
recognize1.pl contains a version of our recognizer/generator that that only works for FSAs without jump arcs. It defines the same predicates as
recognize.pl , but all predicate names end in a
1.