Escolar Documentos
Profissional Documentos
Cultura Documentos
since y =
by the definition of
I NDUCTION H YPOTHESIS : Assume that for all x , for all q Q, (q, xy) = ( (q, x), y).
I NDUCTION S TEP : Let y 0 = ya where y and a . Then
(q, xy 0 ) = (q, xya)
= ( (q, xy), a)
= ( ( (q, x), y), a)
= ( (p, y), a)
= (p, ya)
= ( (q, x), ya)
= ( (q, x), y 0 )
by definition
by the definition of
by the inductive hypothesis
where p = (q, x)
by the definition of
by the definition of p
which is what we needed to prove. Therefore by induction on the length of y the claim is proved.