Parsing Theory: Languages and parsing