Theoretical computer science stubs

Вики

Район Фон Нейман

/

Район Фон Неймана Окрестность фон Неймана Определяется на двумерной квадратной решетке   Состоит из центральной ячейки и четырех соседних ячеек   Названа […]

Вики

Запрос (сложность)

/

Запрос (сложность) Основы теории вычислительной сложности Запрос сопоставляет структуры одной сигнатуры со структурами другого словаря.  Нил Иммерман использует концепцию запроса

Вики

Алгоритм Атлантик-Сити

/

Алгоритм Атлантик-Сити Использование машинного перевода Машинный перевод требует исправления ошибок и подтверждения точности.  Не следует копировать машинный перевод без редактирования. 

Вики

Получленство

/

Полупрофессиональное членство Определение проблемы полупринадлежности Проблема определения, какой элемент множества с большей вероятностью принадлежит ему.  Альтернатива для различения элемента от

Вики

Преобразователь лог-пространства

/

Преобразователь логарифмического пространства Определение и использование LST LST – это машина Тьюринга, используемая для сокращения логарифмического пространства.  LST имеет три

Вики

Постотбор

/

Последующий выбор Основы теории вероятностей Последующий выбор изменяет вероятность события от  Пиар  ⁡  [  F  ]  к  |  E  . 

Вики

PH (сложность)

/

PH (сложность) Определение и свойства PH PH объединяет все классы сложности в полиномиальной иерархии.  Ларри Стокмейер впервые определил PH.  PH

Вики

СК (сложность)

/

SC (сложность) Определение класса SC SC – это класс задач, решаемых детерминированной машиной Тьюринга за полиномиальное время и полилогарифмическое пространство. 

Вики

ФЛ (сложность)

/

FL (сложность) Определение класса сложности FL FL – это набор задач, решаемых детерминированной машиной Тьюринга в логарифмическом объеме памяти.  Машина

Вики

ДЛОГТАЙМ

/

ДЛИТЕЛЬНОЕ ВРЕМЯ Определение класса сложности DLOGTIME DLOGTIME включает задачи, решаемые за логарифмическое время на детерминированной машине Тьюринга.  Машина Тьюринга с

Вики

Уменьшение пространства журнала

/

Сокращение пространства для журналов Сокращение логарифмического пространства Сокращение логарифмического пространства – это детерминированная машина Тьюринга, использующая логарифмическое пространство.  Машина может

Вики

Случайное семя

/

Случайное семя Определение случайного начального значения Начальное значение используется для инициализации генератора псевдослучайных чисел.  Не обязательно должно быть случайным, но

Вики

Суперкомбинатор

/

Суперкомбинатор Определение суперкомбинатора Суперкомбинатор – это математическое выражение, которое является полностью связанным и самодостаточным.  Суперкомбинаторы могут быть константами или комбинаторами,

Вики

Апериодический конечный автомат

/

Апериодический конечный автомат Определение и свойства апериодического конечного автомата Апериодический конечный автомат – это автомат с апериодическим моноидом перехода.  Обычный

Вики

Беззвездный язык

/

Язык, свободный от звезд Определение обычного языка без звездочек Обычный язык без звездочек описывается регулярным выражением без символа Клини.  Примеры

Вики

Рекурсивная грамматика

/

Рекурсивная грамматика Определение рекурсивной грамматики Рекурсивная грамматика содержит правила, которые могут привести к созданию строки с тем же нетерминалом.  Нерекурсивная