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