Formal Languages
摘要
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).