Describir: An Extension of Finite-state Markov Decision Process and an Application of Grammatical Inference