TEST
11
matricola: ______________________________
nome (solo se non si ricorda la matricola):
__________________________________
- Write a Scheme function "Altern" that takes two lists ls1 and
ls2 and returns the list in which the elements of ls1 and ls2 are
alternating.
Ex.: (Altern (list 1 2 3) (list 4 5 6)) ---> (1 4 2 5 3 6).
- Give a sketchy proof of the Diamond Property for the
reduction => (used in the proof of Confluence).
- Given two well founded sets (S1,<<1) and (S2,<<2),
what is the lexicographic precedence relation on S1xS2?