hw4-sol - ECS 120: Intoduction to the Theory of Computation...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ECS 120: Intoduction to the Theory of Computation Homework 4 Due Oct 26, at the beginning of the lecture or by 1pm in Kemper 2131 Problem 1. (counts as 2) Prove that the following languages are not regular (using the pumping lemma or closure properties). You can use the fact that L = { n 1 n | n } is non-regular. (a) { n 1 m | n m } See Sipser, p. 82, Example 1.77 (b) { 1 2 n | n = 0 , 1 , 2 , . . . } Suppose for the purpose of contradiction that this language, L , is regular. Let p be the number in the pumping lemma and consider the string w = 1 2 p . Since | w | = 2 p > p this string satisfies the requirements of the lemma, and thus can be split three-ways, w = xyz , such that p | y | > 0 and | xy | p . Then, according to the pumping lemma, the string w = xy 2 z L . The length of this string is 2 p + | y | , and 2 p < 2 p + | y | 2 p + p < 2 p + 2 p = 2 p +1 . Thus w 6 L . Contradiction. (c) { w | w is not a palindrome } Let L = { w | w is not a palindrome } , and L = { w | w is a palindrome } . Since L and L are complements of each other, and L is nonregular (shown in class), it follows from problem 2(c) below that L...
View Full Document

This note was uploaded on 05/06/2008 for the course ECS 120 taught by Professor Filkov during the Fall '07 term at UC Davis.

Page1 / 3

hw4-sol - ECS 120: Intoduction to the Theory of Computation...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online