C++.Бархатный путь


Язык и грамматика - часть 2


  • Правила словообразования (мы не будем вдаваться в их подробное описание) позволяют сформировать из букв языка 5 различных идентификаторов (имён и ключевых слов):

    КУБ

    ШАР

    ПРОЗРАЧНЫЙ

    СИНИЙ

    УКРАШАЕТ

    и ни одним идентификатором больше.

  • Идентификаторы КУБ и ШАР считаются именами, прочие идентификаторы считаются ключевыми словами.
  • По весьма отдалённой аналогии с естественным языком, ключевые слова будут играть роли членов предложения и частей речи.

    • Определение сказуемого (это член предложения): ключевое слово УКРАШАЕТ будем считать сказуемым.
    • Определение прилагательного (это часть речи): ключевые слова ПРОЗРАЧНЫЙ и СИНИЙ будем считать прилагательными.
    • Имена играют роль существительных.

    По аналогии с естественным языком, где предложения строятся из членов предложений, предложения-операторы языка состоят из членов предложений-выражений. Часть выражений считается подлежащими, часть - дополнениями.

    • Определение подлежащего: выражения-подлежащие состоят из ключевого слова-прилагательного и имени.
    • Определение дополнения: выражения-дополнения состоят из ключевого слова-прилагательного и имени (одного из двух).
    • Определение оператора (это последнее правило грамматики): предложение состоит из тройки выражений, самым первым из которых является подлежащее, затем сказуемое и дополнение. Предложение заканчивается точкой.

    Только что нами была определена грамматика формального языка. Она была описана привычным способом, с помощью нескольких предложений русского языка.

    Рассмотрим ещё один способ записи этой грамматики - с помощью формул. Запишем сначала в виде формулы определение оператора:

    оператор ::= подлежащее сказуемое дополнение . (1)

    В этой формуле символ ::= следует читать как "является" или "заменить".

    Затем определим в виде формул подлежащее и дополнение: подлежащее ::= прилагательное существительное (2)

    дополнение ::= прилагательное существительное (3)

    Следующая формула отражает тот факт, что сказуемым является ключевое слово УКРАШАЕТ. сказуемое ::= УКРАШАЕТ (4)




    - Начало -  - Назад -  - Вперед -