A grammar-controlled pattern analyzer