Кто может расказать, що такое терминальный и нетерминальный символ? Какая между ними разница?

А также що такое продуктивные (непродуктивные) терминалы (нетерминалы)? И как их искать? 

Терминальный символ - это, можно сказать, "выходной символ", т.е. символ, который в рамках данной грамматики не обрабатывается, в то время как нетерминальный - это символ, из которого еще нужно получить терминальные.
Если провести аналогию с программированием, то нетерминальные символы - это исходные данные твоей программы, а терминальные - вывод программы.
Различать их можно так: если данный символ находится в левой части правила(что-то вроде A ::= 0|0A), то он нетерминальный, если символ не фигурирует ни в одном правиле в левой части - то он терминальный.