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

Autor: Abhisek Midya, D. G. Thomas
Rok vydání: 2023
Zdroj: Lecture Notes in Computer Science ISBN: 9783031236112
Databáze: OpenAIRE