SlideShare ist ein Scribd-Unternehmen logo
1 von 3
Downloaden Sie, um offline zu lesen
No. of Printed Pages : 3                              CS-73

              BACHELOR IN COMPUTER
(NI
                  APPLICATIONS

                  Term-End Examination
O                           June, 2011

      CS-73 : THEORY OF COMPUTER SCIENCE

 Time : 3 hours                            Maximum Marks : 75
 Note : Question no. 1 is compulsory. Attempt any three from
        the rest.
 1.    (a) What do you understand by the following ?
            Explain each with an appropriate example :
                                                2+2+2+2=8
            (i) Regular expression
             (ii) Context Free Grammar
                   NFA
             (iv) Pumping Lemma
       (b)   Build a Finite Automata that accepts only         4
             those words that have an even no of sub
             strings ab. (I = fa, b})
       (c)   For / = fa, bl                                    2
             Give a regular expression that has all strings
             that end in a double letter
       (d) Find a grammar for the language of odd              2
           palindromes over (a, b}.

 CS-73                          1                        P.T.O.
(e)   Design a TM that recognises the strings of           2
           even length over {a, b}.

     (f)   Explain the practical and geometrical                4
           interpretation of the following growth rate
           notations :

           0 (big oh) ; 0 (theta) : o (little oh or small oh)

     (g) Show that                                              3

                 n2 + 31og n = 0(n2)

     (h)   State any three decision problem which are           5
           unsolvable.



2.   (a) Tabulate chomsky hierarchy of grammar
          with examples.

     (b)   Convert the following regular expression             5
           into a finite Automata.

           (a + b)* (aa + bb) (a + b)*

     (c)   Derive a finite Automata from the following          5
           NFA




CS-73                          2
3.   (a) Show that L described as follows is not           6
          regular L= {ww : w I {a, b}*}
     (b)   Describe the operation of Turing machine        5
           which uses a two way infinite tape.
     (c)   What are the applications of finite             4
           Automata ? Explain with an appropriate
           examples.


4.   (a)   Build a PDA for the language described as       5
           {wwR : w {a, b}*)
     (b)   Show that the language                          5

            an 2   In? is not context free.
                     1)

     (c)   Show that the function is primitive recursive   5

                            n —m      if n?m
           f (n, m) =        0       otherwise


5.   (a) Show that the state entry problem is              4
          undecidable
     (b)   If f (n)= 2n2 + 3n2 + 1
           then show that
                    f (n) = w (n)
           and also
                    f (n) = w (n2)
     (c)   Show that K-colorability problem is NP.         5




CS-73                           3

Weitere ähnliche Inhalte

Was ist angesagt?

Cs6503 theory of computation april may 2017
Cs6503 theory of computation april may 2017Cs6503 theory of computation april may 2017
Cs6503 theory of computation april may 2017appasami
 
Cs6660 compiler design november december 2016 Answer key
Cs6660 compiler design november december 2016 Answer keyCs6660 compiler design november december 2016 Answer key
Cs6660 compiler design november december 2016 Answer keyappasami
 
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurProblem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurVivekananda Samiti
 
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...Mumbai B.Sc.IT Study
 
11 - 03 Feb - From Recursion to Dynamic Programming
11 - 03 Feb - From Recursion to Dynamic Programming11 - 03 Feb - From Recursion to Dynamic Programming
11 - 03 Feb - From Recursion to Dynamic ProgrammingNeeldhara Misra
 
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERSANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERScsandit
 
0015.register allocation-graph-coloring
0015.register allocation-graph-coloring0015.register allocation-graph-coloring
0015.register allocation-graph-coloringsean chen
 
Discrete lecture 01
Discrete lecture 01Discrete lecture 01
Discrete lecture 01Raja Hamid
 
A Simple Algorithm for Minimal Unsatisfiable core
A Simple Algorithm for Minimal Unsatisfiable coreA Simple Algorithm for Minimal Unsatisfiable core
A Simple Algorithm for Minimal Unsatisfiable corePvc Pvc
 
A new proof that the set of complex
A new proof that the set of complexA new proof that the set of complex
A new proof that the set of complexcseij
 
Lisp programming
Lisp programmingLisp programming
Lisp programmingilias ahmed
 
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]Internet Technology (October – 2016) [Revised Syllabus | Question Paper]
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]Mumbai B.Sc.IT Study
 
Binary Session Types for Psi-Calculi (APLAS 2016)
Binary Session Types for Psi-Calculi (APLAS 2016)Binary Session Types for Psi-Calculi (APLAS 2016)
Binary Session Types for Psi-Calculi (APLAS 2016)Hans Hyttel
 
lecture 17
lecture 17lecture 17
lecture 17sajinsc
 

Was ist angesagt? (20)

Cs6503 theory of computation april may 2017
Cs6503 theory of computation april may 2017Cs6503 theory of computation april may 2017
Cs6503 theory of computation april may 2017
 
Model toc
Model tocModel toc
Model toc
 
Cs6660 compiler design november december 2016 Answer key
Cs6660 compiler design november december 2016 Answer keyCs6660 compiler design november december 2016 Answer key
Cs6660 compiler design november december 2016 Answer key
 
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurProblem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set3 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
 
algo1
algo1algo1
algo1
 
Cs 63
Cs 63Cs 63
Cs 63
 
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...
[Question Paper] Logic, Discrete Mathematical Structures (Old Course) [April ...
 
Cs 62
Cs 62Cs 62
Cs 62
 
11 - 03 Feb - From Recursion to Dynamic Programming
11 - 03 Feb - From Recursion to Dynamic Programming11 - 03 Feb - From Recursion to Dynamic Programming
11 - 03 Feb - From Recursion to Dynamic Programming
 
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERSANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS
 
0015.register allocation-graph-coloring
0015.register allocation-graph-coloring0015.register allocation-graph-coloring
0015.register allocation-graph-coloring
 
Question bank toafl
Question bank toaflQuestion bank toafl
Question bank toafl
 
Discrete lecture 01
Discrete lecture 01Discrete lecture 01
Discrete lecture 01
 
A Simple Algorithm for Minimal Unsatisfiable core
A Simple Algorithm for Minimal Unsatisfiable coreA Simple Algorithm for Minimal Unsatisfiable core
A Simple Algorithm for Minimal Unsatisfiable core
 
A new proof that the set of complex
A new proof that the set of complexA new proof that the set of complex
A new proof that the set of complex
 
Lisp programming
Lisp programmingLisp programming
Lisp programming
 
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]Internet Technology (October – 2016) [Revised Syllabus | Question Paper]
Internet Technology (October – 2016) [Revised Syllabus | Question Paper]
 
Sma
SmaSma
Sma
 
Binary Session Types for Psi-Calculi (APLAS 2016)
Binary Session Types for Psi-Calculi (APLAS 2016)Binary Session Types for Psi-Calculi (APLAS 2016)
Binary Session Types for Psi-Calculi (APLAS 2016)
 
lecture 17
lecture 17lecture 17
lecture 17
 

Ähnlich wie Cs 73

Automata And Compiler Design
Automata And Compiler DesignAutomata And Compiler Design
Automata And Compiler Designguestac67362
 
V cse cs6503 model qb1 1
V  cse cs6503  model qb1 1V  cse cs6503  model qb1 1
V cse cs6503 model qb1 1Ezhumalai p
 
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S J N T U M O D E L...
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S  J N T U  M O D E L...D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S  J N T U  M O D E L...
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S J N T U M O D E L...guest3f9c6b
 
Gate Computer Science Solved Paper 2007
Gate Computer Science Solved Paper 2007 Gate Computer Science Solved Paper 2007
Gate Computer Science Solved Paper 2007 Rohit Garg
 
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurProblem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurVivekananda Samiti
 
TOC Solutions-Adi.pdf
TOC Solutions-Adi.pdfTOC Solutions-Adi.pdf
TOC Solutions-Adi.pdfAdiseshaK
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfAdiseshaK
 
9 a05407 formal_languages_automata_theor_yfr_2029
9 a05407 formal_languages_automata_theor_yfr_20299 a05407 formal_languages_automata_theor_yfr_2029
9 a05407 formal_languages_automata_theor_yfr_2029Rajesh Yaramadi
 
Mathematicalfoundationofcomputerscience
MathematicalfoundationofcomputerscienceMathematicalfoundationofcomputerscience
Mathematicalfoundationofcomputersciencejntuworld
 
Ec2203 digital electronics questions anna university by www.annaunivedu.org
Ec2203 digital electronics questions anna university by www.annaunivedu.orgEc2203 digital electronics questions anna university by www.annaunivedu.org
Ec2203 digital electronics questions anna university by www.annaunivedu.organnaunivedu
 

Ähnlich wie Cs 73 (20)

Daa q.paper
Daa q.paperDaa q.paper
Daa q.paper
 
Automata And Compiler Design
Automata And Compiler DesignAutomata And Compiler Design
Automata And Compiler Design
 
V cse cs6503 model qb1 1
V  cse cs6503  model qb1 1V  cse cs6503  model qb1 1
V cse cs6503 model qb1 1
 
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S J N T U M O D E L...
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S  J N T U  M O D E L...D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S  J N T U  M O D E L...
D E S I G N A N D A N A L Y S I S O F A L G O R I T H M S J N T U M O D E L...
 
Gate Computer Science Solved Paper 2007
Gate Computer Science Solved Paper 2007 Gate Computer Science Solved Paper 2007
Gate Computer Science Solved Paper 2007
 
Cs 64
Cs 64Cs 64
Cs 64
 
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT KanpurProblem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
Problem set2 | Theory of Computation | Akash Anand | MTH 401A | IIT Kanpur
 
3rd Semester Computer Science and Engineering (ACU-2022) Question papers
3rd Semester Computer Science and Engineering  (ACU-2022) Question papers3rd Semester Computer Science and Engineering  (ACU-2022) Question papers
3rd Semester Computer Science and Engineering (ACU-2022) Question papers
 
gate-Cs 2000
gate-Cs 2000gate-Cs 2000
gate-Cs 2000
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
 
TOC Solutions-Adi.pdf
TOC Solutions-Adi.pdfTOC Solutions-Adi.pdf
TOC Solutions-Adi.pdf
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
 
Tests
TestsTests
Tests
 
Revision1 C programming
Revision1 C programmingRevision1 C programming
Revision1 C programming
 
Gate-Cs 1996
Gate-Cs 1996Gate-Cs 1996
Gate-Cs 1996
 
3rd Semester Computer Science and Engineering (ACU) Question papers
3rd Semester Computer Science and Engineering  (ACU) Question papers3rd Semester Computer Science and Engineering  (ACU) Question papers
3rd Semester Computer Science and Engineering (ACU) Question papers
 
9 a05407 formal_languages_automata_theor_yfr_2029
9 a05407 formal_languages_automata_theor_yfr_20299 a05407 formal_languages_automata_theor_yfr_2029
9 a05407 formal_languages_automata_theor_yfr_2029
 
Mathematicalfoundationofcomputerscience
MathematicalfoundationofcomputerscienceMathematicalfoundationofcomputerscience
Mathematicalfoundationofcomputerscience
 
Ec2203 digital electronics questions anna university by www.annaunivedu.org
Ec2203 digital electronics questions anna university by www.annaunivedu.orgEc2203 digital electronics questions anna university by www.annaunivedu.org
Ec2203 digital electronics questions anna university by www.annaunivedu.org
 
Adobe
AdobeAdobe
Adobe
 

Mehr von Web Developer (20)

Eco 2
Eco 2Eco 2
Eco 2
 
Cs 612
Cs 612Cs 612
Cs 612
 
Cs 611 (p)s4
Cs 611 (p)s4Cs 611 (p)s4
Cs 611 (p)s4
 
Cs 611 (p)s3
Cs 611 (p)s3Cs 611 (p)s3
Cs 611 (p)s3
 
Cs 611 (p)s2
Cs 611 (p)s2Cs 611 (p)s2
Cs 611 (p)s2
 
Cs 611 (p)s1
Cs 611 (p)s1Cs 611 (p)s1
Cs 611 (p)s1
 
Cs 611
Cs 611Cs 611
Cs 611
 
Cs 610
Cs 610Cs 610
Cs 610
 
Cs 601
Cs 601Cs 601
Cs 601
 
Cs 74 (p)s8
Cs 74 (p)s8Cs 74 (p)s8
Cs 74 (p)s8
 
Cs 75
Cs 75Cs 75
Cs 75
 
Cs 74 (p)s7
Cs 74 (p)s7Cs 74 (p)s7
Cs 74 (p)s7
 
Cs 74 (p)s6
Cs 74 (p)s6Cs 74 (p)s6
Cs 74 (p)s6
 
Cs 74 (p)s5
Cs 74 (p)s5Cs 74 (p)s5
Cs 74 (p)s5
 
Cs 74 (p)s4
Cs 74 (p)s4Cs 74 (p)s4
Cs 74 (p)s4
 
Cs 74 (p)s3
Cs 74 (p)s3Cs 74 (p)s3
Cs 74 (p)s3
 
Cs 74 (p)s2
Cs 74 (p)s2Cs 74 (p)s2
Cs 74 (p)s2
 
Cs 74 (p)s1
Cs 74 (p)s1Cs 74 (p)s1
Cs 74 (p)s1
 
Cs 74
Cs 74Cs 74
Cs 74
 
Cs 72 (p)s8
Cs 72 (p)s8Cs 72 (p)s8
Cs 72 (p)s8
 

Kürzlich hochgeladen

Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businesspanagenda
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024The Digital Insurer
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...apidays
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfOverkill Security
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Jeffrey Haguewood
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesrafiqahmad00786416
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistandanishmna97
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKJago de Vreede
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century educationjfdjdjcjdnsjd
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfOverkill Security
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...apidays
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...apidays
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxRustici Software
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MIND CTI
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 

Kürzlich hochgeladen (20)

Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdf
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdf
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 

Cs 73

  • 1. No. of Printed Pages : 3 CS-73 BACHELOR IN COMPUTER (NI APPLICATIONS Term-End Examination O June, 2011 CS-73 : THEORY OF COMPUTER SCIENCE Time : 3 hours Maximum Marks : 75 Note : Question no. 1 is compulsory. Attempt any three from the rest. 1. (a) What do you understand by the following ? Explain each with an appropriate example : 2+2+2+2=8 (i) Regular expression (ii) Context Free Grammar NFA (iv) Pumping Lemma (b) Build a Finite Automata that accepts only 4 those words that have an even no of sub strings ab. (I = fa, b}) (c) For / = fa, bl 2 Give a regular expression that has all strings that end in a double letter (d) Find a grammar for the language of odd 2 palindromes over (a, b}. CS-73 1 P.T.O.
  • 2. (e) Design a TM that recognises the strings of 2 even length over {a, b}. (f) Explain the practical and geometrical 4 interpretation of the following growth rate notations : 0 (big oh) ; 0 (theta) : o (little oh or small oh) (g) Show that 3 n2 + 31og n = 0(n2) (h) State any three decision problem which are 5 unsolvable. 2. (a) Tabulate chomsky hierarchy of grammar with examples. (b) Convert the following regular expression 5 into a finite Automata. (a + b)* (aa + bb) (a + b)* (c) Derive a finite Automata from the following 5 NFA CS-73 2
  • 3. 3. (a) Show that L described as follows is not 6 regular L= {ww : w I {a, b}*} (b) Describe the operation of Turing machine 5 which uses a two way infinite tape. (c) What are the applications of finite 4 Automata ? Explain with an appropriate examples. 4. (a) Build a PDA for the language described as 5 {wwR : w {a, b}*) (b) Show that the language 5 an 2 In? is not context free. 1) (c) Show that the function is primitive recursive 5 n —m if n?m f (n, m) = 0 otherwise 5. (a) Show that the state entry problem is 4 undecidable (b) If f (n)= 2n2 + 3n2 + 1 then show that f (n) = w (n) and also f (n) = w (n2) (c) Show that K-colorability problem is NP. 5 CS-73 3