The test cases are given in the file a2test.drs, available at the class web site. These test cases assume that you have defined functions build-DFA-from-grammar and test-string. They also assume that there is only one grammar in existence at any given time. If you prefer to relax this assumption, you may modify the test code to provide the test-string function with an argument representing the DFA, and to bind such variables to appropriate values. The file a2test.drs provides a function test of no arguments that can be called to run the current list of test cases.

If you make changes to property lists when implementing a grammar, make sure that these values are erased or overwritten when the next grammar is implemented.

Note that in Lisp you can assume (and the test cases do assume) that nonterminals are just symbols and that terminals are characters. Your tests should return #t or #f.