摘要

借助有限字母表上完备的度量空间(Profinite拓扑空间),利用拓扑空间中的连续与一致连续函数对模糊有穷自动机识别的模糊正则语言予以刻画。提出闭包基、闭包子基以及Profinite拓扑空间中的(上半)下半连续函数的概念,证明在射有限字符集上存在唯一的拓扑以正则语言类为一个闭包子基,并讨论Profinite拓扑空间的(上半)下半连续函数与模糊正则语言之间的关系。