A Myhill-Nerode theorem for register automata and symbolic trace languages

Theoretical Computer Science ◽

10.1016/j.tcs.2022.01.015 ◽

2022 ◽

Author(s):

Frits Vaandrager ◽

Abhisek Midya

Download Full-text