... we write in 6 as a synonym for in S. For example, the state ({{4},4,2, -) of program GCD satisfies in 64, in 63, in–62, in-81, and in-80, but not in-85.
確定! 回上一頁