在字母表 Σ 上所有形式语言(有限字符串的集合)的集合 2Σ* 形成了一个作用代数，带有 0 为空集，1 = {ε}，∨ 为并集，· 为串接，L←M 为所有字符串 x 使得 xM ⊆ L 的集合(对偶于 M→L)，而 L* 是在 L 中字符串形成的所有字符串的集合(Kleene闭包)。
tsʑqr tsqr r ɕqʑr (el)sˈiɣma(cmn) ʁʑɣ^r r tɕhr khqɣ^n ʁqr tɕhr tɕhʑn tɕhr khqʑr tsqr xn ʝʁʑr çɣr ɬqn ʁɣn çɣr ɬqn ʁɣn (el) sˈiɣma(en) ˈastəɹˌɪsk(cmn) khqɣ^n ʝʁɣɣ^n ɣr tɕhqk ɣ^ɣr tsr tɕhɣ^r çʑqr ʁr çʑqr tɕhr (fi) ˈøiɣqr χøˈaɣ^k ɬqn (en) ˈiːkwəlz(cmn) (el)ˈepsilˌon(cmn) thɣqr ɕqɣ^r ɬqn thɣqr ʝʁʑr ɬqɣk (en)ksˈɛvən(cmn) thɣqr r tɕhr tsqr xn ʝʁʑr ʁqr çɣr(en) ksˈɛvən(cmn) çɣr ɬqn ʁɣn çqr r tɕhn(en) ksˈɛvən(cmn) ɣn (en)ksˈɛvən ˈastəɹˌɪsk(cmn) ʁqr tsʑqr (en)ksˈɛvən(cmn) tsʁɣ^k tsqr xn ʝʁʑr khqɣ^n ʝʁɣɣ^n çɣr r tɕhr tsqr xn ʝʁʑr çɣr ɬqn ʁɣn (en)klˈiːn(cmn) ɕqr ɕʑk