加星号非终结符
_
starred nonterminal
пословный:
加 | 星号 | 非终结符 | |
1) прибавлять; добавлять; присоединять
2) складывать; плюс
3) словообразовательный элемент; образует глагол от прилагательного со значением усиления качества
4) подвергать какому-либо действию
|