• No results found

Let L be the language of all strings over {0, 1} that do not contain the substring 01 or 10

N/A
N/A
Protected

Academic year: 2021

Share "Let L be the language of all strings over {0, 1} that do not contain the substring 01 or 10"

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Resit Automata & Complexity VU, 10 June 2015, 18:30-21:15

(This exam consists of 90 points in total; every student gets 10 points bonus.)

(At the exam, copies of slides can be used, without handwritten comments. The textbook by Linz, handouts, and laptop are not allowed!)

1. Let L be the language of all strings over {0, 1} that do not contain the substring 01 or 10.

(a) Give the minimal dfa that accepts L. (6 pts)

(b) Construct from this dfa a regular expression that describes L.

(Give all intermediate steps in the construction!) (12 pts)

2. Check using the string matching algorithm whether baabbabaab contains a sub- string that is in L((bb + ab)aa).

(Describe the entire construction: the corresponding nfa, and the on-the-fly con-

struction of the corresponding dfa.) (12 pts)

3. Consider the following context-free grammar G:

S → AAA | BAB | B | λ A → AB | BA | a

B → BA | b

(a) Eliminate the λ-production and the unit-production, en reduce the resulting

grammar to Chomsky normal form. (7 pts)

(b) Determine using the CYK algorithm whether ababb is in L(G). (10 pts)

4. Consider the language L = {anbm | n, m ≥ 0, n 6= m}.

(a) Give a non-deterministic pushdown automaton that accepts L. (10 pts)

(b) Is L deterministic context-free? (7 pts)

(2)

5. Give a context-sensitive grammar for the language {ww | w ∈ {a, b}+}

(12 pts)

6. Let f : {0, 1}2 → {0, 1}2 be defined as follows:

f (00) = f (10) = 00 f (01) = f (11) = 01

Perform Simon’s algorithm to determine a linear dependency for the digits of

s = 10. (Give one possible scenario.) (14 pts)

Referenties

GERELATEERDE DOCUMENTEN

In conclusion, this thesis presented an interdisciplinary insight on the representation of women in politics through media. As already stated in the Introduction, this work

http://www.geocities.com/martinkramerorg/BernardLewis.htm (accessed on 13/05/2013). L’école primaire publique à Lyon. Lyon : Archives municipales de Lyon).. “Faces of Janus:

The present text seems strongly to indicate the territorial restoration of the nation (cf. It will be greatly enlarged and permanently settled. However, we must

The existence of winding modes in string theory and the T-duality that con- nects winding to momentum leads to suggest that in the fundamental geometry of space time should be

Gezien deze werken gepaard gaan met bodemverstorende activiteiten, werd door het Agentschap Onroerend Erfgoed een archeologische prospectie met ingreep in de

Show, using the definition of semi-simple rings, that the product ring R × S is also semi-simple.. (Do not use the classification of semi-simple rings; this has not yet been proved

Muslims are less frequent users of contraception and the report reiterates what researchers and activists have known for a long time: there exists a longstanding suspicion of

For aided recall we found the same results, except that for this form of recall audio-only brand exposure was not found to be a significantly stronger determinant than