| 第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>满足后面的不等式？对于定理的描述要注意这种数学语言的表达。对于原文中出现的正式的定理或引理最好就直译，因为基本每个单词都是有用的。
| |