Un de ces langages détermine des « formes canoniques » des éléments du demi-groupe, les autres langages permettent de déterminer si deux formes canoniques peuvent se déduire l`une de l`autre par multiplication avec un générateur. Trouvé sur https://fr.wikipedia.org/wiki/Demi-groupe_automatique
Aucun résultat n’a été trouvé dans l’encyclopédie.
Un de ces langages détermine des « formes canoniques » des éléments du demi-groupe, les autres langages permettent de déterminer si deux formes canoniques peuvent se déduire l`une de l`autre par multiplication avec un générateur.