A computer-implemented method includes instantiating a neural network including a recurrent cell. The recurrent cell includes a probabilistic state component. The method further includes training the neural network with a sequence of data. In an embodiment, the method includes extracting a deterministic finite automaton from the trained recurrent neural network and classifying a sequence with the extracted automaton.