This paper presents a novel characterization for languages recognized by Timed Automata with Integer Resets (IRTA) based on a Myhill-Nerode-style equivalence relation.
본 논문에서는 타이밍 자동화의 중요한 하위 클래스인 정수 리셋을 갖는 타이밍 자동화(IRTA)에 대한 Myhill-Nerode 스타일의 언어학적 특성화를 제시합니다.