第135行: |
第135行: |
| =因果态= | | =因果态= |
| | | |
− | * 因果态的主要性质 | + | * For all R and all L |
| | | |
− | YMZ:这里的性质最好都给个命名,分的清楚一些。另外在数学的表述上还不严谨,要严格地按照原文中对定理的描述来。
| + | YMZ:要写成中文 |
| | | |
− | YMZ:这个改完可以继续往下写epsilon机器
| + | * <math>C_\mu(\hat{\mathcal{R}})\geq C_\mu(\mathcal{S}) </math> |
| | | |
− | * 用公式表示为<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:和之前的问题类似,也是没有说清楚\hat{R}是什么以及这个定理所涉及的范围。 |
− | | |
− | YMZ:这里没有说清楚。这个<math>\mathcal{R}</math>是存在一个<math>\mathcal{R}</math>满足后面的不等式,还是任意的一个<math>\mathcal{R}</math>满足后面的不等式?对于定理的描述要注意这种数学语言的表达。对于原文中出现的正式的定理或引理最好就直译,因为基本每个单词都是有用的。
| |