第132行: |
第132行: |
| | | |
| YMZ:这个改完可以继续往下写epsilon机器 | | YMZ:这个改完可以继续往下写epsilon机器 |
| + | |
| + | * 用公式表示为<math>H[\stackrel{\rightarrow}{S}^L|\mathcal{R}]\geq H[\stackrel{\rightarrow}{S}^L|\mathcal{S}] </math>,<math>\stackrel{\rightarrow}{S}^L </math>为<math>L </math>个长度的未来序列集合,<math>H[\stackrel{\rightarrow}{S}^L|\mathcal{R}] </math>和<math>H[\stackrel{\rightarrow}{S}^L|\mathcal{S}] </math>是<math>\stackrel{\rightarrow}{S}^L </math>的条件熵。 |
| + | |
| + | YMZ:这里没有说清楚。这个<math>\mathcal{R}</math>是存在一个<math>\mathcal{R}</math>满足后面的不等式,还是任意的一个<math>\mathcal{R}</math>满足后面的不等式?对于定理的描述要注意这种数学语言的表达。对于原文中出现的正式的定理或引理最好就直译,因为基本每个单词都是有用的。 |