Leram - Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms