A context-free markup language for semi-structured text
Inference of k-testable languages in the strict sense and application to syntactic pattern recognition