Abstract not found

The purpose of this survey is to present, in contemporary terminology, the fundamental contributions of Axel Thue to the study of combinatorial properties of sequences of symbols, insofar as repetitions are concerned. The present state of the art is also sketched.

This report presents a synoptic overview of Thue Systems. Thue Systems were introduced in the early 1900s by the Norwegian mathematician and logician Axel Thue. In this report the author suggests ways in which such systems can be used in pattern recognition.

Abstract – We introduce acyclic track polygraphs, a notion of complete categorical cellular models for small categories: they are polygraphs containing generators, with additional invertible cells for relations and higher-dimensional globular syzygies. We give a rewriting method to realise such a model by proving that a convergent presentation canonically extends to an acyclic track polygraph. For that, we introduce normalising strategies, defined as homotopically coherent ways to relate each cell of a track polygraph to its normal form, and we prove that acyclicity is equivalent to the existence of a normalisation strategy. Using track polygraphs, we extend to every dimension the homotopical finiteness condition of finite derivation type, introduced by Squier in string rewriting theory, and we prove that it implies a new homological finiteness condition that we introduce here. The proof is based on normalisation strategies and relates acyclic track polygraphs to free abelian resolutions of the small categories they present.