Книга: Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
Новый синтаксис
Новый синтаксис
Одной из заслуг Чёрча считается введение нового синтаксиса для представления данного класса математических выражений. Так, если, например, мы вычислим значение выражения (+(*23)(*56)), при этом звездочка — оператор умножения, то получим 36, поскольку (2 · 3) + (5 · 6) = 6 + + 30 = 36. Математическая функция должна быть абстрактной. Также для ?-исчисления используется более сложное выражение (?x. + x1), означающее: «Функция (представленная символом ?) от переменной (здесь х), которая имеет вид ?(x) (представлена здесь как.), добавляет (оператор +) величину переменной (то есть х) к 1». Мы можем несколько усложнить предыдущее выражение, записав ((? х. + х1)3), результат которого равен 4, поскольку мы указали, что х = 3. Предсказуемо, что для преобразования всех элементов ?-исчисления мы можем усложнять операции. Другой заслугой такого типа исчисления стало его влияние на теорию, изучающую компьютерное программирование.
- А-МАШИНА ТЬЮРИНГА
- ПАРАДОКС ЛЖЕЦА
- СОСТОЯНИЯ МАШИНЫ
- У-МАШИНА ТЬЮРИНГА. МОЖЕТ ЛИ МАШИНА БЫТЬ УНИВЕРСАЛЬНОЙ
- ЛУННАЯ МИССИЯ «АПОЛЛОН-11»
- АЛОНЗО ЧЁРЧ, ЛЯМБДА-ИСЧИСЛЕНИЕ И «ЛИСП»
- Новый синтаксис
- Проблема остановки
- ДРУГИЕ МАШИНЫ ТЬЮРИНГА
- ПРОБЛЕМА ОСТАНОВКИ. ПОЧЕМУ КОМПЬЮТЕР «ЗАВИСАЕТ»
- БЕСКОНЕЧНОСТЬ МАШИН ТЬЮРИНГА
- Современные компьютеры
- ПОСТРОИТЬ МАШИНУ ТЬЮРИНГА
- СОЗДАНИЕ МАШИНЫ ТЬЮРИНГА С ПОМОЩЬЮ ИГРЫ «ЖИЗНЬ»
- АМЕРИКАНСКОЕ ПРИКЛЮЧЕНИЕ
- Общий синтаксис скрипта
- Синтаксис
- 1.2. Базовый синтаксис и семантика Ruby
- Новый тип данных: BOOLEAN
- Вызов хранимых процедур InterBase с использованием стандартного синтаксиса ODBC
- 1.5.1. Синтаксис
- Новый компьютер дома, что с ним делать?
- У меня новый SATA-винчестер на 160 Гбайт, однако Windows XP определяет всего 120 Гбайт. Куда пропали остальные 40 Гбайт?
- Новый винчестер издает странный звук во время работы. Он не похож на тот, с которым работал старый диск. Это нормально и...
- 1.4.4. Использование нетрадиционного синтаксиса на диаграммах функциональной модели
- 7.2. Синтаксис CSS
- Синтаксис множественного фона