|
|
ix | |
Preface |
|
xi | |
Acknowledgements |
|
xix | |
|
|
1 | (33) |
|
|
|
|
1 | (2) |
|
|
3 | (10) |
|
1.3 Languages and machines |
|
|
13 | (9) |
|
|
22 | (4) |
|
1.5 A glimpse at numeration systems |
|
|
26 | (1) |
|
|
27 | (5) |
|
|
32 | (1) |
|
|
33 | (1) |
|
2 Number representation and finite automata |
|
|
34 | (74) |
|
|
|
|
34 | (3) |
|
2.2 Representation in integer base |
|
|
37 | (16) |
|
2.3 Representation in real base |
|
|
53 | (24) |
|
2.4 Canonical numeration systems |
|
|
77 | (7) |
|
2.5 Representation in rational base |
|
|
84 | (11) |
|
2.6 A primer on finite automata and transducers |
|
|
95 | (8) |
|
|
103 | (5) |
|
3 Abstract numeration systems |
|
|
108 | (55) |
|
|
|
|
108 | (9) |
|
3.2 Computing numerical values and S-representations |
|
|
117 | (5) |
|
|
122 | (16) |
|
|
138 | (14) |
|
3.5 Representing real numbers |
|
|
152 | (6) |
|
3.6 Exercises and open problems |
|
|
158 | (2) |
|
|
160 | (3) |
|
|
163 | (85) |
|
|
|
|
163 | (1) |
|
4.2 Definitions, basic properties, and first examples |
|
|
163 | (3) |
|
4.3 The theorem of Morse and Hedlund |
|
|
166 | (2) |
|
|
168 | (3) |
|
4.5 Tools for low complexity |
|
|
171 | (10) |
|
4.6 Morphisms and complexity |
|
|
181 | (4) |
|
4.7 The theorem of Pansiot |
|
|
185 | (29) |
|
4.8 Complexity of automatic words |
|
|
214 | (1) |
|
4.9 Control of bispecial factors |
|
|
215 | (6) |
|
4.10 Examples of complexity computations for morphic words |
|
|
221 | (5) |
|
4.11 Complexity computation for an s-adic family of words |
|
|
226 | (13) |
|
4.12 Exercises and open problems |
|
|
239 | (9) |
|
5 Substitutions, Rauzy fractals and tilings |
|
|
248 | (76) |
|
|
|
|
|
248 | (2) |
|
|
250 | (9) |
|
|
259 | (14) |
|
5.4 Ancestor graphs and tiling conditions |
|
|
273 | (11) |
|
5.5 Boundary and contact graphs |
|
|
284 | (6) |
|
5.6 Geometric coincidences |
|
|
290 | (6) |
|
|
296 | (13) |
|
5.8 Balanced pair algorithm |
|
|
309 | (6) |
|
|
315 | (1) |
|
|
316 | (1) |
|
|
317 | (7) |
|
6 Combinatorics on Bratteli diagrams and dynamical systems |
|
|
324 | (49) |
|
|
|
324 | (1) |
|
6.2 Cantor dynamical systems |
|
|
325 | (1) |
|
|
325 | (5) |
|
6.4 The Bratteli-Vershik model theorem |
|
|
330 | (6) |
|
6.5 Examples of BV-models |
|
|
336 | (15) |
|
6.6 Characterisation of Strong Orbit Equivalence |
|
|
351 | (6) |
|
|
357 | (3) |
|
6.8 Invariant measures and Bratteli diagrams |
|
|
360 | (4) |
|
6.9 Eigenvalues of stationary BV-models |
|
|
364 | (6) |
|
|
370 | (3) |
|
7 Infinite words with uniform frequencies, and invariant measures |
|
|
373 | (37) |
|
|
|
|
374 | (2) |
|
7.2 Invariant measures and unique ergodicity |
|
|
376 | (7) |
|
7.3 Combinatorial criteria |
|
|
383 | (5) |
|
|
388 | (7) |
|
|
395 | (10) |
|
|
405 | (1) |
|
|
406 | (3) |
|
7.8 Note: Dictionary between word combinatorics and symbolic dynamics |
|
|
409 | (1) |
|
8 Transcendence and Diophantine approximation |
|
|
410 | (42) |
|
|
|
8.1 The expansion of algebraic numbers in an integer base |
|
|
412 | (15) |
|
8.2 Basics from continued fractions |
|
|
427 | (3) |
|
8.3 Transcendental continued fractions |
|
|
430 | (6) |
|
8.4 Simultaneous rational approximations |
|
|
436 | (7) |
|
8.5 Explicit examples for the Littlewood conjecture |
|
|
443 | (5) |
|
8.6 Exercises and open problems |
|
|
448 | (1) |
|
|
449 | (3) |
|
9 Analysis of digital functions and applications |
|
|
452 | (53) |
|
|
|
9.1 Introduction: digital functions |
|
|
452 | (4) |
|
9.2 Asymptotic analysis of digital functions |
|
|
456 | (24) |
|
9.3 Statistics on digital functions |
|
|
480 | (19) |
|
|
499 | (6) |
|
10 The equality problem for purely substitutive words |
|
|
505 | (25) |
|
|
10.1 Purely substitutive words and DOL systems |
|
|
505 | (2) |
|
10.2 Substitutive words and HDOL sequences |
|
|
507 | (2) |
|
10.3 Elementary morphisms |
|
|
509 | (3) |
|
10.4 Nearly primitive DOL systems |
|
|
512 | (3) |
|
10.5 Periodic and nearly periodic words |
|
|
515 | (4) |
|
10.6 A balance property for ω-equivalent 1-systems |
|
|
519 | (4) |
|
10.7 The equality problem for purely substitutive words |
|
|
523 | (2) |
|
|
525 | (1) |
|
10.9 Complexity questions |
|
|
526 | (1) |
|
|
527 | (3) |
|
11 Long products of matrices |
|
|
530 | (33) |
|
|
|
11.1 The joint spectral characteristics |
|
|
531 | (10) |
|
|
541 | (9) |
|
11.3 The finiteness property |
|
|
550 | (2) |
|
11.4 Approximation algorithms |
|
|
552 | (6) |
|
|
558 | (1) |
|
|
559 | (2) |
|
|
561 | (2) |
References |
|
563 | (31) |
Notation index |
|
594 | (5) |
General index |
|
599 | |