Higher Order Recurrent Networks and Grammatical Inference