Parenthesis Grammars

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

This publication has 3 references indexed in Scilit: