Postfix to NFA finished