untitled - | (Stern S1 eq '' & Stern S2 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

Ask a homework question - tutors are online