Язык расширенного лямбда исчисления (РЛИ) | MetodPro.ru

Реклама на сайте

Язык расширенного лямбда исчисления (РЛИ)


Язык РЛИ является функциональным и не типизированным.

Лексика и синтаксис языка РЛИ.

Словообразующие единицей языка включают в себя символы латинского алфавита, множество арабских цифр от 0 до 9. В качестве слов в языке РЛИ выступают

1)    символьные атомы, которые представляют собой идентификаторы и ключевые слова (add, quote). Идентификатор в языке РЛИ – это последовательность символов и цифр, начинающаяся с буквы.

2)    Числовые атомы или литералы – это положительные или отрицательные, целые или вещественные числа. Целое число – это последовательность цифр от 0 до 9. Разделитель целой и  дробной части – запятая.

Язык РЛИ содержит следующие ключевые слова:

Quote

Car

CDR

Cons

Atom

Equal

Add

Sub

Mul

Dive

Rem

Leq

Cond

Lambda

Let

Letrec

Символы-ограничители:

Левая и правая круглые скобки

Символы-разделители: пробел

Все остальные символы являются незначащими.

Основные синтаксические конструкции.

Для описание синтаксиса языка РЛИ введем понятие s-выражение.

S-выражение  - это класс символьных выражений, использующихся в качестве области определения для функциональных программ.

1)    Атом представляет собой s-выражение a1 -27 144.3

2)    Последовательность s-выражений, заключенная в скобки, является s-выражением. Таким образом, программа на языке РЛИ представляет собой s-выражения произвольной вложенности.

S-выражение называется правильным, если возможно однозначно вычислить его значение в имеющемся окружении.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем