Assertion: period doubling sequence | /r/HasProperty | fixed-point of φ(w
Facets:
Source sentences:
text: , it is evident that the period-doubling sequence is the fixed-point of φ(w) and thus it is 2-automatic.