Implementing computations in automaton (semi)groups

  • Authors:

  • Ines Klimann;Jean Mairesse;Matthieu Picantin

  • Affiliations:

  • Sorbonne Paris Cité, LIAFA, UMR 7089 CNRS, Univ Paris Diderot, Paris, France;Sorbonne Paris Cité, LIAFA, UMR 7089 CNRS, Univ Paris Diderot, Paris, France;Sorbonne Paris Cité, LIAFA, UMR 7089 CNRS, Univ Paris Diderot, Paris, France

  • Venue:
  • CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order of finite automaton (semi)groups.