SGBisim

This tool decides whether two words are bisimilar, according to the labelled transition system defined by the given grammar’s productions.