Séance de cours
Cette séance de cours traite de l'impossibilité de mettre en oeuvre un registre SRSW atomique en utilisant un nombre fini de registres réguliers bornés sans que les lecteurs écrivent dans les registres de base. Les diapositives couvrent des concepts tels que les registres réguliers SRSW, les opérations atomiques et les limites de la construction d'un tel registre. La séance de cours explore également les propriétés des condensés pour les séquences finies de valeurs et les défis dans la réalisation d'un registre SRSW atomique. Diverses transformations et opérations sur les registres sont présentées, soulignant la complexité de cette mise en œuvre.