untitled - |(Stern S1 eq& Stern S2 ne or(Stern S1 ne&...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
let rec Rev S = S eq '' -> '' | (Rev(Stern S)) @Conc (Stem S ) within Pairs (S1,S2) = | P (Rev S1, Rev S2) where rec P (S1, S2) =
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: | (Stern S1 eq '' & Stern S2 ne '') or (Stern S1 ne '' & Stern S2 eq '')-> 'bad strings' | (P (Stern S1, Stern S2) aug ((Stem S1) @Conc (Stem S2))) in Print ( Pairs ('abc','def'))...
View Full Document

This note was uploaded on 11/09/2011 for the course COP 5555 taught by Professor Staff during the Fall '08 term at University of Florida.

Ask a homework question - tutors are online