Bisimilarity
= Bisimilarity
= Bisimilar
{synonym}
Two <rooted directed graphs> are bisimilar if some <bisimulation> relates their roots. A root with one terminal successor is bisimilar to a root with two terminal successors, although the graphs have different sizes.