Generator-offset property: Difference between revisions
| Line 141: | Line 141: | ||
We can assume that the first k-step in Σ is Q: | We can assume that the first k-step in Σ is Q: | ||
1 … n | 1 … n | ||
Σ = Q | Σ = Q W(Q, R) T | ||
Λ<sub>1</sub> = α … α α’ | Λ<sub>1</sub> = α … α α’ | ||
Λ<sub>2</sub> = β W(β, β’) β’ | Λ<sub>2</sub> = β W(β, β’) β’ | ||