分类:形式语言

本分类内含形式语言及其理论。形式语言指语言根据语法划分中具有形式化语法的语言，因此本分类下的语言都是人造语言下的工程语言，由于本 wiki 不涉及其他分类，直接建立在人造语言下。