A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages.
Frits W. VaandragerAbhisek MidyaPublished in: ICTAC (2020)
Keyphrases
- finite automata
- expressive power
- regular languages
- cellular automata
- language independent
- context free
- finite state automata
- grammatical inference
- formal language theory
- text summarization
- cross lingual
- database
- databases
- neural network
- tree automata
- regular expressions
- symbolic representation
- high level
- probabilistic automata
- symbolic description
- learning algorithm
- language identification
- target language
- neural learning
- arabic language
- finite state automaton
- rational kernels
- finite state machines