Transducer Synthesis from Universal Register Automata in (N, >).
Ayrat KhalimovEmmanuel FiliotLéo ExibardPublished in: CoRR (2021)
Keyphrases
- turing machine
- cellular automata
- program synthesis
- regular expressions
- tree automata
- case study
- neural network
- finite automata
- markov chain
- probabilistic model
- data sources
- finite state machines
- texture synthesis
- finite state
- query language
- feature selection
- data mining
- database
- probabilistic automata
- functional programs
- lattice gas