ByNobleID
    A Note on Undecidability of Observation Consistency for Non-Regular\n Languages | NobleID