A priliminary (and buggy) pseudo-implementation of the bisimilarity predicate.
Fixed the bugs in the bismilarity pseudo-implementation.
Fixed misindented ifs.
Added isomorphy idea.
Completed the pseudo-code to comply with the weak bisimilarity definition (or at least with what I think weak bisimilarity is...).
Added a link to the demo video on YouTube.
Made the parser complain about remaining, unparsed input.