c318f94t2 - WPCz#### ################o]f#+^p> eG#y

Info iconThis preview shows page 1. Sign up to view the full content.

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

Unformatted text preview: WPCz#### ################o]f#+^p> eG#y f##xa##'#x2zO$kJzX]T"#@#D08###J M#0#/ GyMAL#4O'#J9C# DG#,#INRB"g(=#:D.#IQ9 d#:a#4#XX#P6Pc@ J#^#Z^,#gtsMj#TD9cx@#(##X# #-KC3##|F###`QL}E*F-#snjuohaa$XM Vm#UlZ#N#)|#M02 QjEa#rE1FU#WW'g> 84C#'Sc<K###]"6@#F'T#Qw7J## zuHo^^g|'################U####:###### %##########################n#########################0################R### ### D####+#######U####>########w########I####4########M#############a### m########c###<##6#X####9###`#(####"#C#o#u#r#i#e#r# #1#0#c#p#i#############X###|#x############<##6#X####9###`#(####"#C#o#u#r#i#e#r# #1#0#c#p#i######################################################################### ####################X##x##6#X######@#8###X#@######(##################### $#############,##########,#####K######(#####################X# #########x#x#x#x###,#################K##### ###X##z##X###X###X######### ###X##z##X###X###X##z##c#:#\#C#o#r#e#l#\ #O#f#f#i#c#e#7#\#T#e#m#p#l#a#t#e#\#W#e#b#\#w#b#l#a#n#k#.#w#p#t#####'############### #############d#x####dx##h#H### ###Z#####&#T#i#m#e#s# #N#e#w# #R#o#m#a#n#############@8P!####e####0##################U### ########! ########,##########,#####K######(#####################X##########x #x#x#x###,#################K##### ###X#+###X###X###X######### ###X#+###X###X# #X#+############## ###### #CSc318Exam2Friday28October1994###### ##,###### ##(1)(10pts)FindacompleteDFAequivalenttotheDFA M=({s,1,2},{a,b},{(s,a,1),(1,b,1),(1,a,2),(2, a,2)}.s,{2}).Writeyouranswerinformal form,i.e.,asa5tuple.(2)(15pts)FindacompleteDFAwi thonlyreachablestatesthatisequivalenttotheNFA M=({s,1,2},{a,b},{(s,a,s),(s,a,1),(s,a,2), (1,b,1),(1,a,2),(2,a,2) ),s,{1,2})Writeyouranswerinformalform.(3 )(15pts)GiventhelanguagesM={##ab##:##,##ar ewordsover{a,b}},###### ##,###### ##N={a##b:##isawordover{a,b}},drawthediagr amsofthreeNFAs,onewhose###### ###d#### ##languageisM,onewhoselanguageisN,andonewhoselanguageis MUN.(4)(15pts)Provethat{a#2n#, b#2n#:n=1,2,...}E#L(M),whereMis###### ###|#### ##theDFAM=({1,2},{a,b},{(1,a,1),(1,b,2), (2,b,2)},1,{2})(5)(20pts)ProvethatthereisnoDFA MwithL(M)={a#2n#,b#2n#:n=1,2,...}###### ##8 #### ##(6)(15pts)ForM=({s,1,2,3,4,5},{a,b}, {(s,a,1),(s,b,3),(1,a,2),(1,b,3),( 3,a,2),(3,b,4),(2,a,5),(2 ,b,5),(4,a,5),(4,b,5)},s, {4,5})(a)Foreachk,k=0,1,2,...,d eterminewhethersand1arekdistinguishable.(b)De terminewhethersand1aredistinguishable(7)(10pts)Findthe reachablestatesandthereachablesymbolsof###### ##0/### ##M=({s,1,2,3,4},{a,b,c,d},{(s,a,1),(1,b,1 ),(1,a,2),(s,b,2),(2,a,2),(2,b,1),(3,a,1), (3,c,2),(4,d,3)},s,{1,2}) ...
View Full Document

This note was uploaded on 03/09/2008 for the course CSE 318 taught by Professor Varies during the Spring '08 term at Lehigh University .

Ask a homework question - tutors are online