Recursive structure of MOS scales: Difference between revisions

Line 442:

=== Binary generated scales are MOS ===

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is ~~the~~ generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary and the result of expanding from a reduced word is generated and binary. We need only show that binary generated scales are MOS (i.e. satisfy Myhill's property).

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary and the result of expanding from a reduced word is generated and binary. We need only show that binary generated scales are MOS (i.e. satisfy Myhill's property).

Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', where gcd(''a'', ''b'') = 1, and has generator ''g''. First assume that ''g'' and ''p'' are linearly independent, so the step ratio of ''S'' is irrational. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are:

@@ Line 442: / Line 442: @@
 === Binary generated scales are MOS ===
-By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is the generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary and the result of expanding from a reduced word is generated and binary. We need only show that binary generated scales are MOS (i.e. satisfy Myhill's property).
+By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z'''. We have shown that the result of chunking and reduction is generated and binary and the result of expanding from a reduced word is generated and binary. We need only show that binary generated scales are MOS (i.e. satisfy Myhill's property).
 Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', where gcd(''a'', ''b'') = 1, and has generator ''g''. First assume that ''g'' and ''p'' are linearly independent, so the step ratio of ''S'' is irrational. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are: