핵심 개념
본 논문에서는 타이밍 자동화의 중요한 하위 클래스인 정수 리셋을 갖는 타이밍 자동화(IRTA)에 대한 Myhill-Nerode 스타일의 언어학적 특성화를 제시합니다.
Doveri, K., Ganty, P., & Srivathsan, B. (2024). A Myhill-Nerode style Characterization for Timed Automata With Integer Resets. arXiv preprint arXiv:2410.02464.
본 연구는 유한 단어의 정규 언어에 대한 Myhill-Nerode 정리와 유사하게, 정수 리셋을 갖는 타이밍 자동화(IRTA)로 인식할 수 있는 타이밍 언어를 특징짓는 것을 목표로 합니다.