Explore l'influence de la complexité sur les propriétés ergonomiques des systèmes symboliques, présentant le théorème Curtis-Hedlund-Lyndon et les constructions de sous-postes minimaux.
Couvre les tests d'identité polynomiale à l'aide d'oracles et d'évaluations ponctuelles aléatoires, avec des applications dans la théorie des graphes et les aspects algorithmiques.