Контекстно зависимая и не зависимая грамматика

[Alchemic]

Здравия!
Кто может легко и доступно, на примере какого-нибудь конкретного языка программирования, объяснить, чем указанные в заголовке типы грамматик друг от друга отличаются. Заранее БлагоДарю!

[Abstraction]

Контекстно-независимая грамматика описывается правилами вида (нетерминальный символ) -> (последовательность символов).
Контекстно-зависимая грамматика описывается правилами вида (последовательность 1)(нетерминальный символ)(последовательность 2) -> (последовательность 1)(последовательность 3)(последовательность 2).
Всякая контекстно-свободная грамматика является контекстно-зависимой.

Alchemic'a явно забанили в Гугле и в Вики. Поаплодируем Alchemic'у.

Язык программирования, не описываемый контекстно-свободной грамматикой - редкая птица, ибо разбирать эту грамматику очень невесело. Я таких не знаю.

[Alchemic]

Abstraction, благодарю за ответ. Вы, видимо, меня не совсем правильно поняли. Я просил не давать мне определения и ссылки, а объяснить легко и доступно, на примере конкретного языка программирования. Именно воспользовавшись гуглем я нашёл множество ссылок по теме на разных форумах, в которых порой идут долгие-долгие выяснения и споры. Хотелось бы увидеть примеры реального кода, желательно на С, С++, с пояснением, грамматика какого типа используется.

[Abstraction]

Я просил не давать мне определения и ссылки, а объяснить легко и доступно, на примере конкретного языка программирования.

Не очень понятно - что именно объяснить? Различие в том, что правила контекстно-независимой грамматики не могу включать некоторые из правил, возможных в контекстно-зависимых грамматиках (например, aBc -> abbc). Я затрудняюсь придумать объяснение, которое было бы понятнее и точнее предыдущего предложения и не имею представления, как его можно было бы проиллюстрировать кодом.
Вот пример контекстно-независимой грамматики:

S -> sA | bB | ccC | dddd
A -> aB | cC | ddd
B -> bC | dd
C -> d

Начальный символ (цель) - S

Вот пример кода, порождающего некоторое слово этой грамматики:

void S(void){
  switch(rand % 4){
  case 0:
    printf("s");
    A();
    return;
  case 1:
    printf("b");
    B();
    return;
  case 2:
    printf("cc");
    C();
    return;
  case 3:
    printf("dddd");
    return;
  }
}

void A(void){
  switch(rand()%3){
  case 0:
    printf("a");
    B();
    return;
  case 1:
    printf("c");
    C();
    return;
  case 2:
    printf("ddd");
    return;
  }
}

void B(void){
  switch(rand() % 2){
  case 0:
    printf("b");
    C();
    return;
  case 1:
    printf("dd");
    return;
  }  
}

void C(void){
  printf("d");
}

Вот пример кода, проверяющего соответствие строки str этой грамматике:

bool S(const char* str){
  switch(*str){
  case 's':
    printf("S -> aA\n");
    return A(str+1);
  case 'b':
    printf("S -> bB\n");
    return B(str+1);
  case 'c':
    if(str[1] != 'c') {
      printf("No rule can be applied - wrong string.\n");
      return false;
    }
    printf("S -> ccC\n");
    return C(str+2);
  case 'd':
    if(strcmp(str, "dddd") != 0){
      printf("No rule can be applied - wrong string.\n");
      return false;
    }
    printf("S -> dddd\n");
    return true;
  default:
    printf("No rule can be applied - wrong string.\n");
    return false;
  }
}

//Прочие функции аналогичны

[Sibedir]

Ну эт наверное типа того:

КЗ-программа
Возми молоток любой из имеющихся
Забей им, молотком гвоздь любой из имеющихся не важно куда
То, что мелким шрифтом, это не инструкция, а только пояснение контекста автором.

КС-программа
Возми молоток Molotok1
Возьми гвоздь Gvozd1
Выбери случайную поверхность из PoverhnostArray -> RandomPoverhnost
Забей гвоздь Gvozd1 молотком Molotok1 в поверхность RandomPoverhnost