why there is no non determinism in YACC parser . what kind of look ahead is used there. and why in lexer look ahead is required can't every NFA be converted into DFA