TY - RPRT TI - A Note on Undecidability of Observation Consistency for Non-Regular Languages AU - Tomáš Masopust PY - 2012 UR - https://arxiv.org/abs/1201.1754 ID - 1201.1754 ER -