Аннотация:
Исследуется сложность реализации булевых функций, связанных с конечными грамматиками, в классе формул с глубиной альтернирования 3. Для соответствующей функции Шеннона получены асимптотические оценки высокой степени точности.
Ключевые слова:булевы формулы, сложность, глубина альтернирования, функция Шеннона, оценки высокой степени точности.