A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages.
Frits W. VaandragerAbhisek MidyaPublished in: CoRR (2020)
Keyphrases
- rational kernels
- linear separability
- language independent
- formal language theory
- spoken dialog
- finite state automata
- cellular automata
- expressive power
- formal languages
- regular languages
- databases
- symbolic representation
- finite automata
- grammatical inference
- text summarization
- language identification
- digital topology
- cross lingual
- database
- multi lingual
- context free grammars
- multilingual information retrieval