Finite monoids, regular languages, circuit complexity and logic Pascal Tesson Laval University, Quebec City, Canada.
