Логика с фиксированной точкой
- Логика первого порядка (FO) является основой для изучения и описания формальных языков и вычислений.
- FO включает в себя предикаты, переменные и операторы, такие как конъюнкция, дизъюнкция и отрицание.
- Логика первого порядка может быть использована для описания различных классов сложности, включая NL и L.
- Детерминированная логика транзитивного замыкания (FO[DTC]) характеризует класс сложности L.
- Итерации могут быть использованы для определения операторов, которые также могут быть использованы для характеристики классов сложности.
- Операторы с фиксированной точкой бесконечно повторяют индуктивные определения предикатов до достижения фиксированной точки.
- Итерации с использованием функций от целых чисел до целых чисел могут быть использованы для определения различных классов сложности, таких как ACi, NC, PTIME и PSPACE.
Полный текст статьи: