|
Ученые записки Ереванского государственного университета, серия Физические и Математические науки, 2012, выпуск 3, страницы 44–51
(Mi uzeru147)
|
|
|
|
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
Образец цитирования:
G. A. Martirosyan, “On one complete and minimal set of built-in constants for Backus $FP$ system”, Уч. записки ЕГУ, сер. Физика и Математика, 2012, no. 3, 44–51
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzeru147 https://www.mathnet.ru/rus/uzeru/y2012/i3/p44
|
Статистика просмотров: |
Страница аннотации: | 78 | PDF полного текста: | 39 | Список литературы: | 12 |
|