This page is dedicated to the paper A family of formulas with reversal of arbitrarily high avoidability index.

genr.c produces the morphisms described in the paper.

Usage:
./genr fo a_i a_o size lim

fo is in {phik, rev2, rev3} which correspond respectively to the morphisms \phi_k, the morphism in Th.2, and the morphism in Th.3.
a_i and a_o mean we look for a morphism from an alphabet of a_i letters to an alphabet of a_o letters.
We look for a q-uniform morphism for increasing values of q, starting with q = size.
We check that the morphic images are OK for every Dejean word over a_i letters up to length lim.

Command line:
./genr phik 3 5 size lim
(To target a specific value of k, recall that size = k+3).
./genr rev2 4 2 21 lim
./genr rev3 4 3 9 lim

To compile:
gcc -O3 -o genr genr.c