Рекурсия в алгоритме будет прямой, когда:
Рекурсия в алгоритме будет косвенной, когда:
Команда машины Поста имеет структуру п Km, где:
Сколько существует команд у машины Поста:
В машине Поста останов будет результативным:
В машине Поста некорректным алгоритм будет в следующем случае:
В машине Тьюринга предписание L для лентопротяжного механизма означает:
В машине Тьюринга предписание R для лентопротяжного механизма означает:
В машине Тьюринга предписание S для лентопротяжного механизма означает:
В алгоритме Маркова ассоциативным исчислением называется:
