MOS substitution: Difference between revisions
| Line 175: | Line 175: | ||
=== If a ternary scale satisfies all three possible MOS-substitution types, then it is pairwise-MOS and deletion-MOS === | === If a ternary scale satisfies all three possible MOS-substitution types, then it is pairwise-MOS and deletion-MOS === | ||
This fact is immediate. (See [[pairwise-MOS]] and [[deletion-MOS]].) | This fact is immediate. (See [[pairwise-MOS]] and [[deletion-MOS]].) | ||
Corollary (by [[Ternary scale theorems]]]: Such a scale is Fraenkel, odd-regular, or even-regular. | |||
=== If the template MOS is primitive, MOS substitution yields binary well-formed generator sequences === | === If the template MOS is primitive, MOS substitution yields binary well-formed generator sequences === | ||