Язык листьев
-
Определение классов сложности в теории вычислений
- Leaf language описывает класс сложности через формализацию принятия входных данных машиной.
- Классы сложности определяются через недетерминированные машины Тьюринга с полиномиальным временем работы.
- NTM принимают входные данные, если хотя бы один путь их принимает, и отклоняют, если все пути их отклоняют.
- Co-NTM принимает входные данные, если все пути их принимают, и отклоняет, если хотя бы один путь их отклоняет.
- Различные понятия принятия могут быть формализованы через изучение формального языка, связанного с условиями приемки.
- Изучение формального языка включает анализ упорядоченного дерева и чтение строк принятия/отклонения с листьев дерева вычислений.
- NTM принимает строки, если они находятся на языке 0*1{0, 1}*, и отклоняет строки, если они находятся на языке 0*.
Полный текст статьи: