ByNobleID
    The full decomposition of sequential machines with the state and output behaviour realization | NobleID