加星号非终结符的英文

starred nonterminal

• 加:    add; plus
• 星号:    asterisk
• 非:    mistake; wrong; er ...
• 终结符:    terminal symbol; t ...