(aux (cdr l)))]))])
(aux lst)))))
- (beta '(((a b) ()) (c (d ())))) ; ~~> 'a
- (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a
+ (beta '(((a b) ()) (c (d ())))) ; ~~> 'a
+ (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a
(beta '(() (() (a b) ()) (c (d ())))) ; ~~> 'a
- (beta '(() (() ()))) ; no leftmost atom, returns '()
+ (beta '(() (() ()))) ; no leftmost atom, returns '()
This function could also be written like this:
[(eq? lst2 'notfound) lst]
[else lst2]))))
- (gamma 'a '(((a b) ()) (c (d ())))) ; ~~> '(((b) ()) (c (d ())))
- (gamma 'a '((() (a b) ()) (c (d ())))) ; ~~> '((() (b) ()) (c (d ())))
+ (gamma 'a '(((a b) ()) (c (d ())))) ; ~~> '(((b) ()) (c (d ())))
+ (gamma 'a '((() (a b) ()) (c (d ())))) ; ~~> '((() (b) ()) (c (d ())))
(gamma 'a '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (b) ()) (c (d ())))
- (gamma 'c '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) ((d ())))
+ (gamma 'c '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) ((d ())))
(gamma 'c '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (a b) ()) ((d ())))
- (gamma 'x '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) (c (d ())))
- (gamma 'x '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (a b) ()) (c (d ())))
+ (gamma 'x '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) (c (d ())))
[else #f])
))))
- (delta '(((a b) ()) (c (d ())))) ; ~~> #f
- (delta '(((a b) ()) (b (d ())))) ; ~~> #t
- (delta '(((a b) ()) (c (d (d))))) ; ~~> #t
+ (delta '(((a b) ()) (c (d ())))) ; ~~> #f
+ (delta '(((a b) ()) (b (d ())))) ; ~~> #t
+ (delta '(((a b) ()) (c (d (d))))) ; ~~> #t
(delta '(((a b c) ()) (c (d ())))) ; ~~> #t
(delta '(((a b) ()) (c (d ()) c))) ; ~~> #f