A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages (Q6166837)
From MaRDI portal
scientific article; zbMATH DE number 7722356
Language | Label | Description | Also known as |
---|---|---|---|
English | A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages |
scientific article; zbMATH DE number 7722356 |
Statements
A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages (English)
0 references
3 August 2023
0 references
Myhill-Nerode equivalence
0 references
deterministic finite-state matrix automata
0 references
finite matrix languages
0 references
0 references
0 references
0 references