— Concerning algebraic grammars in reduced form, bisimulation in the graph ofleft dérivations is known to be décidable. The quotient of the above graph by ils greatest bisimulation, called the canonical graph, is indeed isomorphic to the graph ofleft dérivations for another algebraic grammar in reduced form, produced by an effective procedure.