Assertion: machine's state | /r/HasProperty | s1 0 1 r s21 1 l s1
Facets:
Source sentences:
text: ;; A State is: '(s1 (0 1 r s2) (1 1 l s1)) ;; (see above) (define state-name car) (define state-specs cdr) ;; returns ==> '((0 1 r s2) (1 1 l s1)) ;; (a list of specs) ;; spec is: (input output move next-state) ;; It specifies for a given input, the output, direction of motion and ;; next state.