TEST 15

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________

• Fornire le regole della Semantica Operazionale Strutturata di Scheme che descrivono la valutazione delle espressioni if.
  

• Definire in Scheme (per quel che si puo') il tipo di dato Stack.
  

•  Definire una funzione Strangef che, presi in input una funzione unaria f su numeri naturali e un predicato unario 'P?' su naturali restituisca il valore di f applicato al piu' piccolo naturale che soddisfa 'P?'. Se non esiste tale numero la funzione non converge.