daf-ezer-partA

daf-ezer-partA - ' - : (cfw_0, 1 " ) HP = cfw_( M , x)...

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

View Full Document Right Arrow Icon
'à ÷ìç - ïçáîì øæò óã :ïäìù âååñäå ( { 0 , 1 } á"à ìòî ïìåë) úåôù óñåà HP = { ( a M A , x ) : x ìò úøöåò M } L U = { ( a M A , x ) : x úà úìá÷î M } L Σ * = {a M A : L ( M ) = Σ * } L ǫ = {a M A : ǫ L ( M ) } L = {a M A : L ( M ) = ∅} L 3 = {a M A : | L ( M ) | ≥ 3 } L 3 = {a M A : | L ( M ) | ≤ 3 } L =3 = {a M A : | L ( M ) | = 3 } L EQ = { ( a M 1 A , a M 2 A ) : L ( M 1 ) = L ( M 2 ) } Σ * Finite languages L EQ L =3 L Σ * HP L U L L 3 HP L U L ε L 3 CoRE RE R :áåøåâîìå÷ úåéëåáéñ
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.
Ask a homework question - tutors are online