ENUMERATING WORDS IN FINITELY PRESENTED MONOIDS

Resumen

ABSTRACT
An efficient algorithm is given, to compute the order of a finitely presented group or monoid by enumerating all the elements in a suitable sequence, so as to save space. It is shown that only one element of the group or monoid needs to be kept in memory at each iteration.

Key words: Graphs, efficient algorithm.

RESUMEN
Un algoritmo eficiente es presentado, para computar el orden de un grupo dado o monoide mediante la enumeración de todos los elementos en una sucesión adecuada, para salvar espacio. Es demostrado que solo un elemento del grupo o monoide necesita ser mantenido en la memoria en cada iteración.

Palabras clave: gráficos, algoritmo eficiente