Thompson%27s construction algorithm