Minimization of Automata for Liveness Languages.
Bader Abu RadiOrna KupfermanPublished in: ATVA (2022)
Keyphrases
- expressive power
- finite state automata
- cellular automata
- formal language theory
- context free
- finite automata
- grammatical inference
- regular languages
- language independent
- objective function
- regular expressions
- neural network
- databases
- rational kernels
- finite state
- formal languages
- cross lingual
- data sets
- text summarization
- object oriented languages
- arabic language
- spoken dialog
- syntactic and semantic dependencies
- linear separability
- regularization term
- finite state machines