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