A partire dalle operazioni presenti nella specifica di un ADT LOGICO: myAnd(), myOr(), myNot(), myXor() realizza la procedura o funzione myNand()
A partire dalle operazioni presenti nella specifica di un ADT STRINGA: lun(S), svuota(S), appendi(S, c), cancella(S, i), preleva(S, i), uguale(S, T) realizza la procedura o funzione La stringa S è palindroma? (aba, a, abba, …)