"The term 'token' is used here to represent the terminal symbol."