Giờ là lúc rút ngắn $EVAA một lần nữa
NFA