Pascal MICHEL

The web pages of Pascal MICHEL

Including : Busy Beaver competition, Publications in Logic and Theoretical Computer Science.

Last update: January 2010

Busy Beavers:

Turing machines: an Introduction
Busy Beaver Competitions
History of busy beavers
Behavior of busy beavers
Advanced topics
Paper on arXiv site:
The Busy Beaver Competition, a historical survey

NEW (June 2009): Analyses of the current champion and of the runner-up in the Busy Beaver Competition for machines with 6 states and 2 symbols. These machines were found by T. and S. Ligocki in 2007.

Click here to send email

Link to home page of the Équipe de Logique Mathématique