MOS substitution: Difference between revisions
| Line 176: | Line 176: | ||
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]] | 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 === | ||