Thus, a process calculus is to a history monoid what a formal language is to a free monoid (a formal language is a subset of the set of all possible finite-length strings of an alphabet generated by the Kleene star).
Taigi, proceso skaičiavimas yra istorinis monoidas, kurį formali kalba išreiškia kaip laisvą monoidą (formali kalba yra visų galimų riboto ilgio alfabeto stygų pogrupis, kurį sukūrė Kleene star).