従って、historymonoidにとってのプロセス計算は、freemonoidにとっての形式言語と同じである（形式言語は、クリーネ閉包で生成可能なアルファベットの有限長文字列の集合の部分集合である）。
因此，进程演算之于历史独异点相当于形式语言之于自由独异点（形式语言是Kleenestar产生的字符所组成的所有可能的有限长度字符串的子集）。