* This automaton has the same states as the base automaton, converted into
* strings.
But according to my understanding of the code, the states are used directly and not a string interpretation.
InverseHomomorphism has a description of what an inverse homomorphism is. This description might be helpful in the NDIH documentation. As there is no inheritance relation between the both, either copying (and adapting) parts of the documentation or explicitly linking might be good.
Assigning @alexanderkoller as you probably wrote the current documentation and might be able to reconstruct what it was supposed to mean.
But according to my understanding of the code, the states are used directly and not a string interpretation.
Assigning @alexanderkoller as you probably wrote the current documentation and might be able to reconstruct what it was supposed to mean.