G. A. Martirosyan, “On one complete and minimal set of built-in constants for Backus $FP$ system”, Уч. записки ЕГУ, сер. Физика и Математика, 2012, выпуск 3,страницы 44

Informatics

On one complete and minimal set of built-in constants for Backus $FP$ system

[Об одном полном и минимальном множестве встроенных констант системы Бэкуса $FP$]

G. A. Martirosyan

Chair of Programming and Information Technologies YSU, Armenia

Аннотация: В данной работе доказана полнота и минимальность множества следующих встроенных констант: Identity, Head, Tail, Append left, Equals, Composition, Construction, Condition, Constant.

Ключевые слова: Backus $FP$ system, functional programming language, built-in constants, Turing completeness, minimality.

Поступила в редакцию: 14.07.2012
Принята в печать: 03.09.2012

Язык публикации: английский