Title: Mechanical construction of bounded-context parsers for chomsky O-type language