PK2 -- SML Assignment 1

NEW:A note on specifications.

A. Correctly Parenthesised Texts

Write a predicate parenthesised that returns true if and only if its argument text, given as a string, is correctly parenthesised. The parentheses to be considered are the regular round parentheses (), the square brackets [], and the curly braces {}.

Examples and counter-examples:
parenthesised "((a+b) * (c-d))" = true
parenthesised "((a+b * (c-d))" = false
parenthesised "(a+b)) * ((c-d)" = false
parenthesised "(a[(b+c) * d] + e) * f" = true
parenthesised "(a[(b+c) * d) + e] * f" = false
parenthesised "({ab} [+b(c *)])" = true

Hand-in

Your report complying with ethics rules of the course should be handed in latest on Friday the 30th of March before 17:00 via the online course manager system, and should contain:

SML functions for question A from above, in an sml file, running under Moscow ML version 2.01, and commented, complying with coding convention.