Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged peter-linz-edition4
0
votes
0
answers
301
Peter Linz Edition 4 Exercise 2.1 Question 15 (Page No. 48)
Show that the language $L =$ {$a^n: n$ is a multiple of $3$, but not a multiple of $5$} is regular.
Show that the language $L =$ {$a^n: n$ is a multiple of $3$, but not a multiple of $5$} is regular.
Naveen Kumar 3
336
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
regular-language
+
–
0
votes
1
answer
302
Peter Linz Edition 4 Exercise 2.1 Question 14 (Page No. 48)
Show that the language L= {$a^n: n$ is either a multiple of $3$ or a multiple of $5$} is regular.
Show that the language L= {$a^n: n$ is either a multiple of $3$ or a multiple of $5$} is regular.
Naveen Kumar 3
445
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
regular-language
+
–
1
votes
1
answer
303
Peter Linz Edition 4 Exercise 2.1 Question 13 (Page No. 48)
Show that the language $L= $ {$a^n: n ≥ 0,n ≠ 4$} is regular.
Show that the language $L= $ {$a^n: n ≥ 0,n ≠ 4$} is regular.
Naveen Kumar 3
378
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
regular-language
+
–
0
votes
1
answer
304
Peter Linz Edition 4 Exercise 2.1 Question 12 (Page No. 48)
Show that $L=$ {$a^n: n ≥4$} is regular.
Show that $L=$ {$a^n: n ≥4$} is regular.
Naveen Kumar 3
389
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
2
answers
305
Peter Linz Edition 4 Exercise 2.1 Question 11 (Page No. 48)
Show that the language $L=$ {$vwv: v, w ∈$ {$a,b$}*$, |v|= 2$} is regular.
Show that the language $L=$ {$vwv: v, w ∈$ {$a,b$}*$, |v|= 2$} is regular.
Naveen Kumar 3
496
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
0
answers
306
Peter Linz Edition 4 Exercise 2.1 Question 10 (Page No. 48)
Construct a dfa that accepts strings on {$0,1$} if and only if the value of the string, interpreted as a binary representation of an integer, is zero modulo five. For example, $0101$ and $1111$, representing the integers $5$ and $15$, respectively, are to be accepted.
Construct a dfa that accepts strings on {$0,1$} if and only if the value of the string, interpreted asa binary representation of an integer, is zero modulo five. For exam...
Naveen Kumar 3
769
views
Naveen Kumar 3
asked
Mar 20, 2019
Theory of Computation
theory-of-computation
peter-linz
peter-linz-edition4
finite-automata
+
–
0
votes
0
answers
307
Peter Linz Edition 4 Exercise 2.1 Question 8 (Page No. 47)
A run in a string is a substring of length at least two, as long as possible and consisting entirely of the same symbol. For instance, the string $abbbaab$ contains a run of $b$'s of length three and a run of $a$'s of length two. Find dfa' ... $L$= {$w$ : there are exactly two runs of $a$'s of length 3}.
A run in a string is a substring of length at least two, as long as possible and consisting entirelyof the same symbol. For instance, the string $abbbaab$ contains a run ...
Naveen Kumar 3
1.6k
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
theory-of-computation
peter-linz
peter-linz-edition4
finite-automata
+
–
4
votes
6
answers
308
Peter Linz Edition 4 Exercise 2.1 Question 6 (Page No. 47)
With $Σ = \{a,b\},$ give a DFA for $L = \{w_1aw_2: |w_1|\geq 3, |w_2|\leq 5\}.$
With $Σ = \{a,b\},$ give a DFA for $L = \{w_1aw_2: |w_1|\geq 3, |w_2|\leq 5\}.$
Naveen Kumar 3
10.0k
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
theory-of-computation
peter-linz
peter-linz-edition4
finite-automata
+
–
4
votes
1
answer
309
Peter Linz Edition 4 Exercise 2.1 Question 5 (Page No. 47)
Give dfa's for the languages $L= \{ab^5wb^2 : w ∈ \{a,b\}^* \}$ $L= \{ab^na^m : n ≥ 2 , m ≥3\}$ $L = \{w_1abw_2 : w_1 ∈ \{a,b\}^*,w_2 ∈ \{a,b\}^* \}$
Give dfa's for the languages$L= \{ab^5wb^2 : w ∈ \{a,b\}^* \}$$L= \{ab^na^m : n ≥ 2 , m ≥3\}$ $L = \{w_1abw_2 : w_1 ∈ \{a,b\}^*,w_2 ∈ \{a,b\}^* \}$
Naveen Kumar 3
4.5k
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
1
answer
310
Peter Linz Edition 4 Exercise 2.1 Question 3 (Page No. 47)
$L$ = {$awa : w ∈$ {$a,b$}* } Show that if we change the following figure, making $q_3$ a nonfinal state and making $q_0, q_1,q_2$ final states, the resulting dfa accepts $\bar{L}$
$L$ = {$awa : w ∈$ {$a,b$}* }Show that if we change the following figure, making $q_3$ a nonfinal state and making $q_0, q_1,q_2$ final states, theresulting dfa accepts...
Naveen Kumar 3
918
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
2
votes
1
answer
311
Peter Linz Edition 4 Exercise 2.1 Question 2 (Page No. 47)
For $Σ$= {$a,b$}, construct dfa's that accept the sets consisting of (a) all strings with exactly one $a$, (b) all strings with at least one $a$, (c) all strings with no more than three $a$'s
For $Σ$= {$a,b$}, construct dfa's that accept the sets consisting of(a) all strings with exactly one $a$,(b) all strings with at least one $a$,(c) all strings with no mo...
Naveen Kumar 3
4.1k
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
0
votes
1
answer
312
Peter Linz Edition 4 Exercise 2.1 Question 1 (Page No. 47)
Which of the strings 0001, 01001, 0000110 are accepted by the dfa
Which of the strings 0001, 01001, 0000110 are accepted by the dfa
Naveen Kumar 3
1.8k
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
1
votes
1
answer
313
Peter Linz Edition 4 Exercise 1.2 Question 23 (Page No. 30)
Show that the grammars $S \rightarrow aSb|bSa|SS|a$ and $S \rightarrow aSb|bSa|a$ are not equivalent.
Show that the grammars $S \rightarrow aSb|bSa|SS|a$and $S \rightarrow aSb|bSa|a$are not equivalent.
Naveen Kumar 3
296
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
1
votes
1
answer
314
Peter Linz Edition 4 Exercise 1.2 Question 22 (Page No. 30)
Show that the grammar $G$ =({$S$}, {$a, b$}$, S, P$), with productions $S \rightarrow SS|SSS|aSb|bSa|λ$ , is equivalent to the grammar $S \rightarrow SS$ , $S \rightarrow λ$ , $S \rightarrow aSb$ , $S \rightarrow bSa$ .
Show that the grammar $G$ =({$S$}, {$a, b$}$, S, P$), with productions $S \rightarrow SS|SSS|aSb|bSa|λ$ ,is equivalent to the grammar ...
Naveen Kumar 3
333
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
1
votes
1
answer
315
Peter Linz Edition 4 Exercise 1.2 Question 21 (Page No. 29)
Are the two grammars with respective productions $S \rightarrow aSb|ab|λ$, and $S \rightarrow aAb|ab$, $A \rightarrow aAb|λ$, equivalent? Assume that $S$ is the start symbol in both cases.
Are the two grammars with respective productions $S \rightarrow aSb|ab|λ$,and $S \rightarrow aAb|ab$, $A \rightarrow aAb|λ$,equivalent?...
Naveen Kumar 3
744
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
0
votes
0
answers
316
Peter Linz Edition 4 Exercise 1.2 Question 15 (Page No. 29)
Find grammars for the following languages on Σ = {a}. (a) L = {w : |w| mod 3 = 0}. (b) L = {w : |w| mod 3 > 0}. (c) L = {w : |w| mod 3 ≠ |w| mod 2}. (d) L = {w : |w| mod 3 ≥ |w| mod 2}.
Find grammars for the following languages on Σ = {a}.(a) L = {w : |w| mod 3 = 0}.(b) L = {w : |w| mod 3 0}.(c) L = {w : |w| mod 3 ≠ |w| mod 2}.(d) L = {w : |w| mod 3 ...
Naveen Kumar 3
257
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
1
votes
1
answer
317
Peter Linz Edition 4 Exercise 1.2 Question 14 (Page No. 28)
Let $Σ$ = {$a, b$}. For each of the following languages, find a grammar that generates it. (a) $L_1$ = {$a^nb^m : n ≥ 0, m > n$}. (b) $L_2$ = {$a^nb^{2n} : n ≥ 0$}. (c) $L_3$ = {$a^{n+2}b^n : n ≥ 1$}. (d) $L_4$ = {$a^nb^{n−3} : n ≥ 3$}. (e) $L_1 L_2$. (f) $L_1 ∪ L_2$. (g) $L_1^3$. (h) $L_1^*$. (i) $L_1-\bar{L}_4$.
Let $Σ$ = {$a, b$}. For each of the following languages, find a grammar that generates it.(a) $L_1$ = {$a^nb^m : n ≥ 0, m n$}.(b) $L_2$ = {$a^nb^{2n} : n ≥ 0$}.(c) ...
Naveen Kumar 3
412
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
1
votes
1
answer
318
Peter Linz Edition 4 Exercise 1.2 Question 13 (Page No. 28)
What language does the grammar with these productions generate? $S \rightarrow Aa$ , $A \rightarrow B$ , $B \rightarrow Aa$ .
What language does the grammar with these productions generate?$S \rightarrow Aa$ ,$A \rightarrow B$ ,$B \rightarrow Aa$ .
Naveen Kumar 3
912
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
0
votes
2
answers
319
Peter Linz Edition 4 Exercise 1.2 Question 12 (Page No. 28)
Give a simple description of the language generated by the grammar with productions $S \rightarrow aA,$ $A \rightarrow bS,$ $S \rightarrow λ.$
Give a simple description of the language generated by the grammar with productions$S \rightarrow aA,$$A \rightarrow bS,$$S \rightarrow λ.$
Naveen Kumar 3
395
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
0
votes
0
answers
320
Peter Linz Edition 4 Exercise 1.2 Question 11 (Page No. 28)
Find grammars for $Σ$ = {$a, b$} that generate the sets of (a) all strings with exactly one $a$. (b) all strings with at least one $a$. (c) all strings with no more than three $a$’s. (d) all strings with at least three $a$’s. In each case, give convincing arguments that the grammar you give does indeed generate the indicated language.
Find grammars for $Σ$ = {$a, b$} that generate the sets of(a) all strings with exactly one $a$.(b) all strings with at least one $a$.(c) all strings with no more than th...
Naveen Kumar 3
422
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
grammar
+
–
1
votes
1
answer
321
Peter Linz Edition 4 Exercise 1.2 Question 10 (Page No. 28)
Prove or disprove the following claims. (a) $(L_1 ∪ L_2)^R = L_1^R ∪ L_2^R$ for all languages $L_1$ and $L_2$. (b) $(L^R)^* = (L^*)^R$ for all languages $L$.
Prove or disprove the following claims.(a) $(L_1 ∪ L_2)^R = L_1^R ∪ L_2^R$ for all languages $L_1$ and $L_2$.(b) $(L^R)^* = (L^*)^R$ for all languages $L$.
Naveen Kumar 3
344
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
1
votes
1
answer
322
Peter Linz Edition 4 Exercise 1.2 Question 9 (Page No. 28)
Show that $(L^*)^*=L^*$ for all languages.
Show that $(L^*)^*=L^*$ for all languages.
Naveen Kumar 3
284
views
Naveen Kumar 3
asked
Mar 19, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
2
votes
1
answer
323
Peter Linz Edition 4 Exercise 1.2 Question 8 (Page No. 28)
Prove that $(L_1L_2)^R=L_2^RL_1^R$ for all languages $L_1$ and $L_2$.
Prove that $(L_1L_2)^R=L_2^RL_1^R$for all languages $L_1$ and $L_2$.
Naveen Kumar 3
346
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
1
votes
0
answers
324
Peter Linz Edition 4 Exercise 1.2 Question 7 (Page No. 28)
Are there languages for which $(L^c)^*=(L^*)^c$
Are there languages for which $(L^c)^*=(L^*)^c$
Naveen Kumar 3
269
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
finite-automata
+
–
1
votes
1
answer
325
Peter Linz Edition 4 Exercise 1.2 Question 6 (Page No. 28)
Let $L$ be any language on a non-empty alphabet. Show that $L$ and $L^c$ cannot both be finite.
Let $L$ be any language on a non-empty alphabet. Show that $L$ and $L^c$ cannot both be finite.
Naveen Kumar 3
504
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
+
–
2
votes
2
answers
326
Peter Linz Edition 4 Exercise 1.2 Question 5 (Page No. 28)
Let $Σ = ${$a, b$} and $L = ${$aa, bb$}. Use set notation to describe $L^c$.
Let $Σ = ${$a, b$} and $L = ${$aa, bb$}. Use set notation to describe $L^c$.
Naveen Kumar 3
782
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
+
–
2
votes
2
answers
327
Peter Linz Edition 4 Exercise 1.2 Question 4 (Page No. 28)
Let $L$={$ab,aa,baa$}. Which of the following strings are in $L^*$ : $abaabaaabaa$, $aaaabaaaa$, $baaaaabaaaab$, $baaaaabaa$? Which strings are in $L^4$?
Let $L$={$ab,aa,baa$}.Which of the following strings are in $L^*$ :$abaabaaabaa$, $aaaabaaaa$, $baaaaabaaaab$, $baaaaabaa$? Which strings are in $L^4$?
Naveen Kumar 3
375
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
+
–
1
votes
0
answers
328
Peter Linz Edition 4 Exercise 1.2 Question 3 (Page No. 27)
Prove that $(w^R)^R=w$ for all $w∈Σ^*$.
Prove that $(w^R)^R=w$ for all $w∈Σ^*$.
Naveen Kumar 3
168
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
1
votes
1
answer
329
Peter Linz Edition 4 Exercise 1.2 Question 2 (Page No. 27)
The reverse of a string can be defined more precisely by the recursive rules $a^R=a$, $(wa)^R=aw^R$, for all $a∈Σ$, $w∈Σ^*$. Use this to prove that$(uv)^R=v^Ru^R$, for all $u,v∈Σ^+$.
The reverse of a string can be defined more precisely by the recursive rules $a^R=a$,$(wa)^R=aw^R$, for all $a∈Σ$, $w∈Σ^*$.Use this to prove that$(uv)^R=v^Ru^R$, fo...
Naveen Kumar 3
362
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
1
votes
1
answer
330
Peter Linz Edition 4 Exercise 1.2 Question 1 (Page No. 27)
Use induction on $n$ to show that $|u^n|=n|u|$ for all strings $u$ and all $n$.
Use induction on $n$ to show that $|u^n|=n|u|$ for all strings $u$ and all $n$.
Naveen Kumar 3
284
views
Naveen Kumar 3
asked
Mar 17, 2019
Theory of Computation
peter-linz
peter-linz-edition4
theory-of-computation
proof
+
–
Page:
« prev
1
...
6
7
8
9
10
11
12
13
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register