В теорії автоматів (кінцеві автомати, пушдауд-автомати, ...) і в складності існує поняття "неоднозначність". Автомат неоднозначний, якщо є слово з принаймні двома чітко прийнятими прогонами. Машина неоднозначна, якщо для кожного слова прийнятого машиною, існує максимум різних чітких циклів, щоб прийняти .
Це поняття також визначається в контексті без граматики: граматика неоднозначна, якщо існує слово, яке можна вивести двома різними способами.
Відомо також, що багато мов мають приємну логічну характеристику для обмежених моделей. (Якщо мова є регулярним, існує Монадический другого порядку формула ф над словами таким чином, що кожне слово W з L являє собою модель ф , аналогічно НП , якщо еквівалентні формулам другого порядку , де кожен 2 - й квантіфікатори порядку екзистенційно.)
Отже, моє запитання стоїть на краях двох областей: чи є якийсь результат, або навіть канонічне визначення "неоднозначності" формул заданої логіки?
Я можу уявити кілька визначень:
- неоднозначно, якщо існує максимум один x такий, щовиконується ϕ ( x ), і ϕ ( x ) неоднозначний.
- було б неоднозначним, якщо існує модель як ϕ 0, так і ϕ 1 , або якщо ϕ i неоднозначна.
- Формула SAT була б неоднозначною, якщо є максимум одне правильне призначення.
Отже, мені цікаво, чи це загальновідоме поняття, інакше може бути цікавим спробувати зробити дослідження на цю тему. Якщо поняття відоме, чи міг би хтось надати мені ключові слова, які я міг би використати для пошуку інформації з цього питання (адже "логічна неоднозначність" дає безліч непов'язаних результатів) або посилання на книги / pdf / статті?