syntax-bnf->pcat.y