Добрый день, уважаемые посетители сообщества "Русский язык".

Такой вопрос возник у меня, в связи с тем, что я начал изучать формы Бэкуса-Науэра по статьям в Интернете.  

В статьях постоянно упоминаются термины "контекстно-свободный", "формальный язык", и тому подобные.

Возникают следующие вопросы:   

1. Чем собственно формальный язык (синтаксис, грамматика) отличается от "неформального" (и существуют ли вообще неформальные языки/грамматики)?
2. Чем контекстно-свободная грамматика отличается от контекстно-несвободной (и, аналогично первому вопросу, существуют ли вообще подобные грамматики)?
3. Какие символы принято считать терминальными символами алфавита, а какие не-терминальными? По какому критерию проводится водораздел?

Буду рад любой информации.  

Спасибо :)