Parenthesis Grammars

A decision procedure is given which determines whether the languages defined by two parenthesis grammars are equal.