Stable Encoding of Finite-State Machines in Discrete-Time Recurrent Neural Nets with Sigmoid Units.
Rafael C. CarrascoMikel L. ForcadaM. Ángeles Valdés-MuñozRamón P. ÑecoPublished in: Neural Comput. (2000)
Keyphrases
- neural nets
- finite state machines
- feed forward
- activation function
- hidden layer
- back propagation
- recurrent neural networks
- model checking
- neural network
- finite state automata
- artificial neural networks
- counter propagation
- single layer
- hidden markov models
- learning tasks
- database systems
- regular expressions
- feature selection
- data sets