Lecture12-1_Part32

Lecture12-1_Part32 - and and it can be proved that iff ....

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
In order to prove this theorem we use the TM T of the previous proof. The input for T is a DFA C satisfying: This expression is called The symmetric difference of
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: and and it can be proved that iff . Proof 32 ( ) ( ) ( ) ( ) ( ) ( ) ( ) B L A L B L A L C L = ( ) A L ( ) B L ( ) = C L ( ) ( ) B L A L =...
View Full Document

This note was uploaded on 04/30/2009 for the course CSE 105 taught by Professor Paturi during the Winter '99 term at UCSD.

Ask a homework question - tutors are online