iloff: А что за "три примера контекстных условий, выполнение которых контролируется в современных языках программирования"?
Totktonada: Три Контекстных Условия разбора (языков императивного типа со строгой типизацией):
1. Программист не может нарушить типизацию, предписанную языком программирования, или своим бездествием допустить подобное нарушение.
2. Программист должен описывать имена единожды и заблаговременно и использовать их в той мере, в которой это не противоречит Первому Контекстному Условию.
3. Программист должен заботиться о правильности работы алгоритма способами, допускаемыми Первым и Вторым Контекстными Условиями.
// Hint: http://ru.wikipedia.org/wiki/Три_закона_роботехники