错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Formal Languages

  • Yannis Haralambous

摘要

As underlined by Dutilh Novaes [19, pp. 11–28], when we refer to formal languages, formality corresponds to mainly two properties: asemanticity (in the sense that the objects we are dealing with have no specific meaning, and are just abstract entities) and calculation (the purpose of these languages is to allow calculations, in particular by computers).