A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

von Vaandrager, Frits
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages

von Midya, Abhisek
Veröffentlicht in IWCIA (21. : 2022 : Messina) Combinatorial Image Analysis (2023)

Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows

von Midya, Abhisek
Veröffentlicht in IWCIA (20. : 2020 : Novi Sad) Combinatorial image analysis (2020)