
This paper presents a novel characterization for languages recognized by Timed Automata with Integer Resets (IRTA) based on a Myhill-Nerode-style equivalence relation.


coremsg

a-myhill-nerode-style-characterization-of-timed-automata-languages-with-integer-resets


A Myhill-Nerode Style Characterization of Timed Automata Languages with Integer Resets


title_rewrite


본 논문에서는 타이밍 자동화의 중요한 하위 클래스인 정수 리셋을 갖는 타이밍 자동화(IRTA)에 대한 Myhill-Nerode 스타일의 언어학적 특성화를 제시합니다.


정수-리셋을-갖는-타이밍-자동화를-위한-myhill-nerode-스타일-특성화-a-myhill-nerode-style-characterization-for-timed-automata-with-integer-resets-


정수 리셋을 갖는 타이밍 자동화를 위한 Myhill-Nerode 스타일 특성화 (A Myhill-Nerode style Characterization for Timed Automata With Integer Resets)
