Compute the regular expression, Mathematics

Assignment Help:

1. Consider the following context free grammar G with start symbol S (we write E for the empty string, epsilon):

S ---> bB | aSS

A ---> aB | bAA

B ---> E | bA | aS

a. Describe L(G), i.e. complete the following definition: L(G) = { w ∈ {a, b}* | ...

b. Show that G is ambiguous.

2. Give a context free grammar for regular expressions over the alphabet Σ = {0, 1}.

Use the definition of a regular expression given on page 64 of the text.

3. Let L1 and L2 be regular languages and let L = {xy | x ∈ L1 and y ∈ L2 and |x| = |y|}.

a. Is L regular? Answer clearly YES or NO and justify/prove your answer.

b. Is L context free? Answer clearly YES or NO and justify/prove your answer.

4. Let L = {w ∈ {0, 1}* | (the number of 0's in w) mod 3 = 2}. Give a state diagram in the style of the text for a TM that recognizes, but does not decide, L.

5. Turing machines can be considered computers of functions and not just accepters of strings. The function parameter or input is what is written on the tape when the TM starts and its value or output is what is written on the tape when it halts. If it does not halt, the function it computes is not defined for that particular parameter.

Consider the function f(n) = 8n + 5. Assume that n is written on the tape in binary (just 0's and 1's, perhaps with leading 0's) and that the value computed is also written in binary. We don't care whether the value computed has unnecessary leading 0's or not. All numbers are considered unsigned.

Describe at a high level a TM to compute this function.

6. Let L = { | R is a regular expression describing a language that contains at least one string with the substring 111}.

Show that L is decidable.

Questions are shown in the order received.

1. Q: Should here be a * after the {0, 1} in question 2?

A: No. S is an alphabet, not a language. When we speak of a string over S that is the same as saying a string in S*

2. Q: In question 3, does "the number of 0's in w mod 3 = 2" mean you count the 0's in the string and mod that number by 3?

A: Yes. I've now put parentheses around part of it to make it clear; as in: (the number of 0's in w) mod 3


Related Discussions:- Compute the regular expression

Simple harmonic motion, prove that the composition of two simple harmonic o...

prove that the composition of two simple harmonic of the same period and in the same straight line is also a simple harmonic motion of the same period.

Logarithems , y=x4/4lnx-x4/16 then dy/dx=? Solution) dy/dx=-x^3/4(2/lnx-...

y=x4/4lnx-x4/16 then dy/dx=? Solution) dy/dx=-x^3/4(2/lnx-1)^2.    ^ means power

Develop a linear program to investment advisory firm, An investment advisor...

An investment advisory firm manages funds for its numerous clients. The company uses an asset allocation model that recommends the portion of each client's portfolio to be invested

Determine if the following sequences converge or diverge, Determine if the ...

Determine if the following sequences converge or diverge.  If the sequence converges find out its limit. a. {3n 2 - 1 / 10n + 5n 2 } ∞ n =2 b. {e 2n / n} ∞ n =1 c

Variation of parameters, In the previous section we looked at the method of...

In the previous section we looked at the method of undetermined coefficients for getting a particular solution to p (t) y′′ + q (t) y′ + r (t) y = g (t)    .....................

Geometric , a part of a line with two end points.

a part of a line with two end points.

Step functions, Before going to solving differential equations we must see ...

Before going to solving differential equations we must see one more function. Without Laplace transforms this would be much more hard to solve differential equations which involve

Find the 14th term in the arithmetic sequence. 60, Find the 14th term in t...

Find the 14th term in the arithmetic sequence. 60, 68, 76, 84, 92

The definition of the limit, The Definition of the Limit In this secti...

The Definition of the Limit In this section we will look at the precise, mathematical definition of three types of limits we'll be looking at the precise definition of limits

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd