Для описания формальных языков, в частности языков программирования, существует специальный способ: металингвистические формулы Бекуса-Науэра. Их особенность – использование специальных выражений для описания понятий. В формулах используется три вида скобок: <>, {}, [ ]. Формулы Бекуса-Науэра для описания числа имеют следующий вид:

<число> ::= <цифра> | <число><цифра>

<цифра> ::= 0 | 1 | 2 | 3 | …..| 8 | 9

Была поставлена задача написать программу для генерации синтаксически правильных предложений на английском языке. Проверка предложений на семантическую правильность в задачу не включалось.
        Назначение данной разработки – способствовать изучению грамматики английского языка школьниками и студентами, кроме этого, программа может быть полезна переводчику в качестве вспомогательного средства для контроля синтаксиса.
        Были изучены грамматические конструкции английского языка. Синтаксический разбор предложений и дальнейшая их проработка привели к тому, что некоторые речевые обороты были исключены из данного задания. В частности, не были включены неисчисляемые существительные, неправильные глаголы и др. так же были наложены ограничения на набор используемых типов предложений. В данном задании формируются только простые повествовательные и простые отрицательные предложения. Ниже дано описание построения только простых повествовательных предложений, описание простых отрицательных предложений не приводится.
        Поставленная задача реализовывалась следующим способом. В зависимости от структуры предложения, представленной в виде формулы Бекуса-Науэра, выбранного типа предложения, который зависит от времени глагола, выбиралась конкретная схема построения.
        Для описания естественных языков нужно использовать не менее двух отдельных друг от друга грамматик: словообразовательной и фразообразовательной.
        Для выполнения задачи в дальнейшем реализована программа.