Distance and Equivalence between Finite State Machines and Recurrent Neural Networks: Computational results.
Reda MarzoukColin de la HigueraPublished in: CoRR (2020)
Keyphrases
- recurrent neural networks
- finite state machines
- neural network
- complex valued
- feed forward
- finite state automata
- artificial neural networks
- model checking
- neural model
- recurrent networks
- echo state networks
- reservoir computing
- hidden markov models
- distance measure
- real time
- nonlinear dynamic systems
- cascade correlation
- expert systems