G. A. Martirosyan, “On one complete and minimal set of built-in constants for Backus <nobr>$FP$</nobr> system”, Proceedings of the YSU, Physical and Mathematical Sciences, 2012, Issue 3,Pages <nobr>44

Informatics

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

G. A. Martirosyan

Chair of Programming and Information Technologies YSU, Armenia

Abstract: In the present paper the completeness and the minimality of the set of the following built-in constants of Backus $FP$ system are proved:Identity, Head, Tail, Append left, Equals, Composition, Constuction, Condition, Constant.

Keywords: Backus $FP$ system, functional programming language, built-in constants, Turing completeness, minimality.

Received: 14.07.2012
Accepted: 03.09.2012

Language: English