Conjunctive Normal Form (CNF): понятие и примеры

КС-грамматика (контекстно-свободная грамматика или КС-язык) - это формальная грамматика, использующая правила, ограниченные шаблоном A -> β, где А - нетерминальный символ, а β - последовательность символов (терминалов или нетерминалов). КС-грамматика задает множество цепочек, которые можно породить, и является основой для построения синтаксических анализаторов и компиляторов.

Приведу пример простой КС-грамматики для арифметических выражений:

<pre class="hljs">E -> E + E
E -> E * E
E -> (E)
E -> id</pre>

В этой грамматике символ E является стартовым символом, а правила задают различные способы порождения арифметических выражений. Например, грамматика позволяет породить выражение "a + b * (c + d)", где a, b, c и d являются идентификаторами.

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

<pre class="hljs">def parse_expression(expression):
    return parse_E(expression, 0)

def parse_E(expression, index):
    if expression[index].isdigit():
        return int(expression[index]), index + 1
    elif expression[index] == '(':
        value, index = parse_E(expression, index + 1)
        index += 1  # Пропускаем закрывающую скобку
        return value, index
    else:
        raise Exception("Ошибка разбора выражения!")

def evaluate_expression(expression):
    value, _ = parse_expression(expression)
    return value

# Пример использования
expression = "5 + (3 * 2)"
result = evaluate_expression(expression)
print(result)  # Выводит 11</pre>

В данном примере функция parse_expression вызывает функцию parse_E, которая рекурсивно разбирает выражение, начиная с символа с индексом index. Функция parse_E возвращает числовое значение и индекс следующего символа, чтобы продолжить разбор выражения. В случае ошибки разбора, функция вызывает исключение.

Функция evaluate_expression использует parse_expression для разбора выражения и вычисляет его значение. В данном примере, evaluate_expression("5 + (3 * 2)") вернет 11.

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