首页
网站开发
桌面应用
管理软件
微信开发
App开发
嵌入式软件
工具软件
数据采集与分析
其他
首页
>
> 详细
CS 161代做、Java/Python程序代写
项目预算:
开发周期:
发布时间:
要求地区:
CS 161, Spring 2024: Homework 2
Homework 2: NFAs and Regular Expressions
0. (Ungraded exercise) We rushed/didn’t get to the exercises at the end of worksheet 3
(copied below for convenience). Make sure you understand what is wrong with these
proofs.
(a) Here is a false statement with a bad proof. What is wrong with the proof?
Theorem (Not actually true). Every binary language is regular.
Proof. Let A be any language. Here is a DFA M:
M q0
0,1
Note that any string in A is accepted by this DFA. Thus, this DFA recognizes A,
so A is regular.
(b) Here is a false statement with a bad proof. What is wrong with the proof?
Theorem (Not actually true). The language A = {00, 11} is not regular.
Proof. Here is a DFA M:
M q0 q1
0 1
1
0
The string 11, which is in A, is not accepted by this DFA. Thus, the DFA M does
not recognize A, so A is not regular.
1. (10 points) Let L be the language of binary strings with at least two 0s or at least
three 1s.
(a) (5 points) Draw a state diagram for an NFA that recognizes L.
(b) (5 points) Recall that an NFA is a 5-tuple N = (Q, Σ, δ, q0, F) for finite set of states
Q, finite set of alphabet characters Σ, transition function δ : Q × Σε → P(Q),
start state q0 ∈ Q, and accept states F ⊂ Q. Describe your NFA as a 5-tuple.
2. (10 points) Prove the following theorem by generalizing the construction from Worksheet 6.
Theorem. The set of regular languages are closed under concatenation.
(c) Sara Krehbiel, Ray Li 1
CS 161, Spring 2024: Homework 2
That is, prove that, for any two regular languages A and B, the language A ◦ B =
{ab : a ∈ A : b ∈ B} is regular.
3. (5 points) Consider the NFA N = ({1, 2, 3}, {0, 1}, δ, 1, {3}) with δ as depicted below (this is the same one from Quiz 6). Give a regular expression for the language
recognized by this NFA.
N 1 2 3
ε
1
0
1 0
4. (10 points) Find an NFA that recognizes the language of (0◦1)∗ ◦(0∪1) (the alphabet is
Σ = {0, 1}). Include both a state diagram and a formal specification of your automaton
as a 5-tuple.
5. (10 points) Let A be the language of strings over Σ = {0, 1} from the first day of class:
A = {1
a01b01a+b
: a, b ≥ 0}. Prove that A is not regular. (An informal interpretation
of this result is: DFAs cannot add in unary) Hint: 1
6. (15 points) We see in class on 4/15 how to convert any k-state NFA into an equivalent
2
k
-state DFA. This problem shows that this exponential blowup in the number of states
is necessary. Let A ⊂ {0, 1}
∗ be the set of all strings (of length at least 101) that have
a 0 exactly 100 places from the right hand end. That is
A = {w : |w| ≥ 101, w|w|−100 = 0}. (1)
(a) (5 points) Draw the state diagram for an NFA with 101102 states that recognizes
A. (You can use “· · · ” and don’t have to draw all 101102 states, as long as it’s
clear what the states/transitions would be in the omitted states) [Ray: Update: I
think you need 102 states. If you have 103 or 104 states, that’s fine.]
(b) (10 points) Show that no DFA on less than 2100 states can recognize A. Hint:2
1
In this class, we learn several methods for proving a language A is regular: constructing a DFA recognizing A, constructing an NFA recognizing A, finding a regular expression for A. However, we only learn
one method for proving a language is not regular. What is it?
2Give a proof by contradiction and assume such a DFA exists. Apply pigeonhole to all 2100 strings of
length 100 to get two strings x and y of length 100 that end up at the same state after digesting. Derive a
contradiction by considering the strings xz and yz for some carefully chosen string z.
(c) Sara Krehbiel, Ray Li 2
软件开发、广告设计客服
QQ:99515681
邮箱:99515681@qq.com
工作时间:8:00-23:00
微信:codinghelp
热点项目
更多
cis432代做、代写python/java程...
2024-05-04
eeen3007j代写、c++程序设计代...
2024-05-04
代写data程序、代做c/c++, jav...
2024-05-04
comp2006代做、代写c++程序语言
2024-05-04
comp26020代做、java/c++设计编...
2024-05-04
csci251 advanced programming...
2024-05-03
cs 6290: high-performance co...
2024-05-03
assignment 2: executing and ...
2024-05-03
ecse427/comp310 programmin...
2024-05-03
cs 452 (fall 22): operating...
2024-05-03
comp9414 23t2 assignment 2 ...
2024-05-03
dpst1091 23t1 assignment 2 ...
2024-05-03
program代做、代写python设计编...
2024-05-03
热点标签
finm8007
comp2006
comp26020
comp1721
eeen3007j
cis432
csci251
comp5125m
com398sust
32022
mth6158
comp328
finn41615
2024
mec302
mgmt3004
mgt7158
com160
as.640.440
econ3016
finm7405
econ7021
fin600
infs4205/7205
mktg2510-
f27sb
csse2310/csse7231
rv32i
eecs 113
comp1117b
cs 412
comp 315
econ7300
comp2017
ecs 116
fit5046
com6511
comp30024
acs341
econ1020
isys3014
acc408
comp1047
csc 256
cs 6347
finm7008
comp34212
csmde21
estr2520
comp285/comp220
mds5130/iba6205
finc6010
is3s665
busi2194
125.785
iom209
msin0041
econ339
cmt218
mast10007
comp5349
ecx2953/ecx5953
bios706
comp3310
mth6150
comp30027
comp20005
eec286
busi2211
bff2401
fnce90046
visu2001
mang6554
finc6001
125785
data423-24s1
engi 1331
fint2100
(520|600).666
can202
cs 61b
mast20029
info20003
stat512
econ3208
cmpsc311
engg1340
ecmt1010
fit5216
basc0003
ee3121
acct2002
comp5313
busi2131
ise529
elec372/472
csit940/csit440
cenv6141
comp3027/comp3927
ftec5580
comp1433
msci223
mark203
en3098
eden1000
ece6483
econ4410
mats16302
cs 6476
com6521
comp222
comp3211
comp10002
csc1002
chc6186
cs 161
comp27112
comp282
swen20003
comm1190
elec9764
acfi3308
acct7101
fin6035
comp2048
geog0163
comp2013
coen 146
dts101tc
sehh2042
comp30023
comp4880/8880
cs 455
07
stat0045.
fil-30023
celen085
psyc40005
math40082
are271
comp9311
ee5311
imse2113
comp 2322
acct2102
fnd109
int102
is3s664
is6153
data4000
accfin5034
fit5212
cs536-s24
fit5225
ecos3006
mes202tc
finc5001
stat3061
csc171
cs1b
7ssmm712
bu.450.760
cs170
comp3411
swen90004
cpt206
comp5313/comp4313—large
bl5611
kxo206
comp532
elec207
kxo151
cs 2820
cpt108
math2319
dts204tc
qm222
comp2511
ccs599
infs1001
mat2355
eeee4123
25721
ifn647
pols0010
hpm 573
qbus6860
comp9417
csci 1100
stat0023
cse340
comp2003j
cs 2550
cs360
fin 3080
ierg 4080
cs6238
cit 594
finm7406
hw6
联系我们
- QQ: 9951568
© 2021
www.rj363.com
软件定制开发网!