a Note that this is indeed a bijection and that for w 1 , w 2 ∈ Σ * , we have Now, we define M as follows: Using the above fact about # and a simple induction on m, we find that Evaluating the two acceptance conditions, we find them satisfied exactly if # .
the convolution product can be seen as a condensed version of the tensor product.