...
These parsing functions rely on the following Scheme data definitions:. Given
| Code Block |
|---|
(define-struct Not (arg)) (define-struct And (left right)) (define-struct Or (left right)) (define-struct Implies (left right)) (define-struct If (test conseq alt)) |
...
The course staff is also providing a simple test file for the eval functtion function and a file containing a sequence of raw input formulas (to be parsed by parse function in parse.ss). A good solution to this problem will include much more comprehensive test data for all functions, including some much larger
test cases for reduce. The normalize function is difficult to test on large data because the printed
output for some important normalized trees (represented as DAGs (Directed Acyclic Graphs) in memory) is so large.
...