High Quality
Open the downloaded document, and select print from the file menu (PDF reader required).
tV)C-f)
~
~
(Jeovv
0.
(a)If
L
isacceptedbyanNFAwithE-transitionsprovethat
L
isacceptedbyanNFAwithoutE-transitions.
1712/RI0
MAY2008Or(b)ShowthattheBooleanexpressionsareequivalenttooneanother.Obtaintheirsum-of-productsofcanonicalfIrm:
MATHEMATICALFOUNDATIONOFCOMPUTERSCIENCES
(ForthosewhojoinedinJuly
2006
andafter)
(i)(ii)
(x
EB
y)
*
(x'
EB
z)
*
(y
EB
z)(x
*
z)
EB
(x'
*
y).
Time:ThreehoursMaximum:75marks
PARTA-(7x5
=
35marks)11.(a)Provethat
CFLL
=
{anbncmdm
/
nlm
2:
l}u
{anbmcmdn
/
n1m
2:I}isinherentlyambiguous.
AnswerALLquestions.1.(a)Showthat
~
(P
v
(Q
/\
R))
~
Or(b)Provethatif
L
isalanguageforsomePDA
M
then
L
isacontext-freelanguage.'7
((P
v
Q)
/\
(P
v
R))
Or(b)Obtaintheprincipaldisjunctivenormalformsof
(P
/\
Q)
V
np
/\
R)
v
(Q
/\
R).
4
1712IRI0
2.(a)Showthat
((P
(QR))((PQ)(PR)))Or(b)Showthat
nQ
/\
(P
Q))lp
3.(a)Foranycommutativemonoid<
M,
*>provethatthesetofidempotentelementof
M
formsasubmonoid.Or(b)DefineHomomorphismwithanexample.4.(a)Provethateveryroworcolumninthecompositiontableofagroup<0,*>isapermutationoftheelementof0.Or(b)Let
S
=
{a,b,e}.
DrawaHanediagramwith
<
peS),
~>.
5.
(a)InaBooleanalgebra,provethat
(a
+
b)(a'
+e)=
ae
+
'a'b
=
ae
+
a'b
+
be
.OrInalattice,provethat
b)
(a
*
b)
EB
(b
*e)EB(e*
a)
~
(a
EB
b)
*
(b
EBe)*(eEB
a).
6.(a)Let
M
=
({qQ,ql},
{0,1},
Ii,qQ'{ql})
beanNFAwhere
li(qQ,
0)
=
{qo'ql},li(qQ,
1)=
{ql},li(ql'
0)=f/J
li(ql'
1)=
{qQ,ql'}
.FindDFN.Or(b)Constructfinitestateautomataequivalenttotheregularexpression01[((10)*+111)*+OJ1.2
1712IRI0
7.(a)Provethattheclassofregularsetsisclosedunderquotientwitharbitrarysets.Or(b)Considerthegrammar0
=
(VITI
P,s)
where
V
=
{s}T
=
{a,b}
and
p
=
{S
~
asb,s
~
ab}
Findthelanguage
L(
0).
PARTB-(4x10
=
40marks)AnswerALLquestions.8.(a)Showthat
(P
vQ)/\
l(l
P
/\
(l
Q
v
l
R)))
v
(lp
/\lQ)v
(lp
/\
lR)
isatautology.Or(b)Showthat
(x)(P(x)
v
Q(x))
=>
(x)P(x)
v(:3x
)Q(x)
.
\
9.(a)If
f:
0~0'isahomomorphism,provethattheKernel
offis
anormalsubgroupofO.Or(b)Let
H
beasubgroupofagroupO.DefineLeftandrightcosetsof
H
andprovethatanytwoleftcosetsof
H
areeitheridenticalordisjoint.
3
1712IRI0
17131R11
MAY2008
ACCOUNTINGANDFINANCIALMANAGEMENT
(ForthosewhojoinedinJulyw.e.f
2006
andafter)Time:ThreehoursMaximum:75marksSECTIONA
-
(7x5
=
35marks)AnswerALLquestions.1.
(a)"Everydebithasgotacreditandvice-versa"explainthesignificanceofthisstatementandgivesuitableexamples.Or(b)DifferentiateJournalfromLedger.
2.
(a)
Whatareclosingentries?
.
Or(b)Explainthevarioustypesofratios.
Add a Comment