Grammatical Inference and Language Frameworks for LANGSEC