効果を伴う代数的言語理論

確率的有限オートマトンによって計算される言語は、有限モノイドによって代数的に認識できる。