Object.hashCode()
SpecialOperations.hexCases(Automaton)
SpecialOperations.homomorph(Automaton, char[], char[])