ByNobleID
    Generalized state machines and generalized transformation semigroups | NobleID