HamroCSIT Logo
HAMRO CSIT
  • Course New
  • Entrance
    • Entrance Preparation
    • MCQ Questions
    • Colleges
    • Entrance Class
    • Entrance Books
    • Free Entrance Video Course
  • Semester
    • First Semester
    • Second Semester
    • Third Semester
    • Fourth Semester
    • Fifth Semester
    • Sixth Semester
    • Seventh Semester
    • Eight Semester
  • Questions
  • Subscription Automated
  • Notices
  • Articles
  • More
    • Ask Question
    • College Ambassadors
    • Financial Support Program
    • Contribute
    • Contact Us
Login Register
Hamro CSIT User Account
  • Sign In
  • Create Account


Shape | Hamro CSIT Shape | Hamro CSIT Shape | Hamro CSIT Shape | Hamro CSIT
Subject

Theory of Computation

This course presents a study of Finite State Machines and their languages. It covers the details of finite state automata, regular expressions, context free grammars. More, the course includes design of the Push-down automata and Turing Machines. The course also includes basics of undecidability and intractability.

Subject Image | Hamro CSIT
  • Chapters
  • Syllabus
  • Question Banks
  • Questions
  • Text Book
  • Practical
  • Viva

Exam Year

  • TOC Question Bank 2081
  • TOC Question Bank 2080 new
  • TOC Model Question
  • TOC Question Bank 2080
  • TOC Question Bank 2079
  • TOC Question Bank 2078
  • TOC Question Bank 2076

Tribhuvan University

Institute of Science and Technology

2081

Bachelor Level / fourth-semester / Science

Computer Science and Information Technology( CSC262 )

Theory of Computation

Full Marks: 60 + 20 + 20

Pass Marks: 24 + 8 + 8

Time: 3 Hours

Candidates are required to give their answers in their own words as far as practicable.

The figures in the margin indicate full marks.

SECTION A

Attempt any TWO question.

1

Mention the transition function of PDA. List the two ways that PDA accepts the string. Convert the following CFG to PDA.
S → AS | ε
A → Ab | Bb | ab

2

List any two regular operators. Minimize the following finite state machine using Table Filling algorithm.

- Hamro CSIT

 

3

Define Turing machine as enumerators of strings of a language. Encode the Turing machine TM = ({q0, q1, q2} , {a, b}, {a, b, B}, δ, q2, B, F) with input w = ba and δ is defined as follows:
δ(q0, b) → (q1, b, R), δ(q1, a) → (q2, a, R), δ(q2, a) → (q1, a, R), δ(q2, b) → (q2, b, L)

SECTION B

Attempt any EIGHT question.

4

Does machine always refer to hardware? Justify. Define positive closure and Kleene closure.

5

What is undecidable problem? Discuss about Post Correspondence Problem.

6

Define the language of a grammar. For the grammar S → 0S0 | 1 | ε, show the leftmost derivation for the string 00100 with its parse tree.

7

Define ε-closure of a state. Differentiate between Moore and Mealy machine.

8

Represent the following regular grammar to finite automata.
S → aA | aB | ε
A → aA | aS
B → bB | ε

9

Design the DFA that accepts binary string ending with “00” and show its extended transition function for the string 111000.

10

Convert the following grammar to CNF.
S → AAB, A → aA | ε, B → ab | a

11

For the following Turing Machine, test whether the string “( ) ) )” is accepted or rejected and represent it in transition diagram.

State X Action (Write, Move, New State) Y Action (Write, Move, New State) B Action (Write, Move, New State)
q0 ​( X,R,q1 , , q0​ , , q4​
q1 ​) X,L,q2 Y,L,q2​ Y,L,q2​
q2 ​X X,R,q0 Y Y,R,q3​ , R,q4
q3 ​( , , q3 , , q3 , R,q4

 

12

Differentiate between Class P and Class NP problem. Mention the transition function of DFA, NFA, and ε-NFA.

Theory of Computation Question Bank Solution 2081
Solution Video
Solution
Share

Share this link via

Or copy link

logoHAMROCSIT

Hamro CSIT is a comprehensive web and mobile platform that provides B.Sc. CSIT students with resources like notes, syllabi, question banks, solved past papers, practical files, and free entrance preparation materials — all in one place.

  • [email protected]
Semester
  • First Semester
  • Second Semester
  • Third Semester
  • Fourth Semester
  • Fifth Semester
  • Sixth Semester
  • Seventh Semester
  • Eighth Semester
Links
  • About Us
  • FAQs
  • Sitemap
  • Privacy Policy
  • Terms and Conditions
  • College Ambassadors
  • Financial Support Program
Hits Counter
20222326
Google Play App Store
Follow Us

Copyright 2026 | HAMROCSIT | All Right Reserved

Official Payment Partner Esewa Logo
HAMROCSIT.COM

Copyright 2024 | HAMROCSIT.COM | All Right Reserved - Nymna Technology