Recursive structure of MOS scales: Difference between revisions

@@ Line 360: / Line 360: @@
 {{todo|expand|inline=1}}
-Going from a MOS scale aL bs and applying rules L → Ls, s → s ''or'' L → L, s → Ls, we end up with the child scales (a+b)L bs or aL (a+b)s. The layout of these scales is such that the [[#Stepwise version|stepwise algorithm]] immediately says these two are MOS too: in both cases, first we exactly de-apply the rules given here, and end up with the parent scale which was chosen to be a MOS.
+Going from a MOS scale aL bs and applying rules L → Ls, s → s ''or'' L → L, s → Ls, we end up with the child scales aL (a+b)s or (a+b)L bs. The layout of these scales is such that the [[#Stepwise version|stepwise algorithm]] immediately says these two are MOS too: in both cases, first we either exactly de-apply the rules given here, and end up with the parent scale which was chosen to be a MOS, or we get to an L↔s reversed scale with b L’s and a s’s which should end up being MOS too, for some clear reason not stated here right now yet.
 == See also ==