形式函数程序设计系统翻译

英语翻译：

【计】 formal functional programming system

分词翻译：

形式的英语翻译：

form; format; modality; shape
【法】 form

函数的英语翻译：

function
【计】 F; FUNC; function

程序设计系统的英语翻译：

【计】 programming system