On Computability, Learnability and Extractability of Finite State Machines from Recurrent Neural Networks.
Reda MarzoukPublished in: CoRR (2020)
Keyphrases
- recurrent neural networks
- finite state machines
- regular languages
- finite automata
- regular expressions
- feed forward
- model checking
- neural network
- boolean functions
- finite state automata
- reservoir computing
- uniform distribution
- pattern languages
- recurrent networks
- echo state networks
- inductive inference
- feedforward neural networks
- artificial neural networks
- cascade correlation
- learning algorithm
- hidden markov models
- neural model
- nonlinear dynamic systems
- artificial intelligence
- query language
- pac learning
- membership queries
- back propagation
- concept class
- building blocks
- chaotic time series