Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Intuitionistic mathematics --- Sequences (Mathematics) --- 510.24 --- #WWIS:ALTO --- Mathematical sequences --- Numerical sequences --- Algebra --- Mathematics --- Constructive mathematics --- Intuitionism--(mathematical aspects) --- Intuitionistic mathematics. --- Sequences (Mathematics). --- 510.24 Intuitionism--(mathematical aspects)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Sequential machine theory --- Sequences (Mathematics) --- Théorie des machines séquentielles --- Suites (Mathématiques) --- Langages formels --- Formal languages --- Formal languages. --- Nombres, Théorie des --- Automates. --- Machine theory. --- Number theory.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both because they are very deterministic and because they are built by simple rules (a letter is replaced by a word, a sequence is produced by iteration). These substitutive sequences have a surprisingly rich structure. The authors describe the concepts of quantity of natural interactions, with combinatorics on words, ergodic theory, linear algebra, spectral theory, geometry of tilings, theoretical computer science, diophantine approximation, trancendence, graph theory. This volume fulfils the need for a reference on the basic definitions and theorems, as well as for a state-of-the-art survey of the more difficult and unsolved problems.

Rewriting systems (Computer science) --- Combinatorial analysis. --- Computational Complexity. --- Combinatorial analysis --- Computational complexity --- Algebra --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Computational complexity. --- Number theory. --- Functions of real variables. --- Dynamics. --- Ergodic theory. --- Sequences (Mathematics). --- Computers. --- Mathematical logic. --- Number Theory. --- Real Functions. --- Dynamical Systems and Ergodic Theory. --- Sequences, Series, Summability. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Mathematical sequences --- Numerical sequences --- Ergodic transformations --- Continuous groups --- Mathematical physics --- Measure theory --- Transformations (Mathematics) --- Dynamical systems --- Kinetics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Physics --- Statics --- Real variables --- Functions of complex variables --- Number study --- Numbers, Theory of --- Analyse combinatoire --- Systèmes dynamiques --- Systèmes dynamiques --- Nombres, Théorie des