проверка принадлежности

Если "input1" содержит только один символ из "neterminal", тогда в список рядом с правилом указывается тип правила "type1" (например, Z --> abc type1, A --> b type1), если "input2" содержит только один символ "neteminal", тогда это правило типа "type2" (например, A --> abcD type2) (формальные языки и грамматики)