non terminals finished