SlideShare a Scribd company logo
1 of 2
Dear students get fully solved assignments
Send your semester & Specialization name to our mail id :
help.mbaassignments@gmail.com
or
call us at : 08263069601
WINTER 2013, ASSIGNMENT
DRIVE WINTER 2014
PROGRAM MCA(REVISED FALL 2007)
SUBJECT CODE & NAME MC0082- THEORY OF COMPUTER SCIENCE
SEMESTER 5TH SEM
CREDITS 4
MAX. MARKS 60
BK ID B0970
Answer all questions
1 Differentiate between Recursive Functions and growth functions.
Answer : What's a Recursive Function?
Technically, a recursive function is a function that makes a call to itself. To prevent infinite recursion,
you need an if-else statement (of some sort) where one branch makes a recursive call, and the other
branch does not. The branch without a recursive call is usually the base case (base cases do not
make recursive calls to the function).
Functions can also be mutually recursive. For example, function f() can call function g() and function
g() can call function f(). This is still considered recursion because a function can eventually call itself.
In this case, f() indirectly calls itself.
2. Describe direct and indirect proof techniques.
Ans : Direct proof :
In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given
statement by a straightforward combination of established facts, usually existing lemmas and
theorems, without making any further assumptions. In order to directly prove a conditional
statement of the form "If p, then q", it suffices to consider the situations in which the statement p is
true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic
employed is almost invariably first-order logic, employing the quantifiers for all and there exists.
Common proof rules used are modus ponens and universal instantiation.
3. Discuss about Walks and Paths in Trees
Ans : Walks and Paths in Trees :
In the mathematical field of graph theory, a path graph or linear graph is a particularly simple
example of a tree, namely a tree with two or more vertices that is not branched at all, that is,
contains only vertices of degree 2 and 1. In particular, it has two terminal vertices (vertices that have
degree 1), while all others (if any) have degree 2.
A path in a graph is a sequence of vertices such that from each of its vertices there is an edge to the
next vertex in the sequence. A path may be
4. What is DFA? Discuss about Transition System.
Ans : DFA :
In automata theory, a branch of theoretical computer science, a deterministic finite automaton
(DFA)—also known as deterministic finite state machine—is a finite state machine that
accepts/rejects finite strings of symbols and only produces a unique computation (or run) of the
automaton for each input string.'Deterministic' refers to the uniqueness of the computation. In
search of simplest models to capture the
5. Differentiate between Moore machine and Mealy machine.
Ans : Moore machine :
In the theory of computation, a Moore machine is a finite-state machine whose output values are
determined solely by its current state. This is in contrast to a Mealy machine, whose output values
are determined both by its current state and by the values of its inputs. The Moore machine is
named after Edward F. Moore, who presented the concept in a 1956 paper, “Gedanken-experiments
on Sequential Machines.
6. Define context-free grammar. What is an ambiguous grammar? Explain with an example.
Ans : Ambiguous grammer :
In computer science, an ambiguous grammar is a formal grammar for which there exists a string that
can have more than one leftmost derivation, while an unambiguous grammar is a formal grammar
for which every valid string has a unique leftmost derivation. Many languages admit both ambiguous
and unambiguous grammars, while some languages admit only ambiguous grammars. Any non-
empty language admits an ambiguous grammar by
Dear students get fully solved assignments
Send your semester & Specialization name to our mail id :
help.mbaassignments@gmail.com
or
call us at : 08263069601

More Related Content

What's hot

Formal language & automata theory
Formal language & automata theoryFormal language & automata theory
Formal language & automata theoryNYversity
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)surbhi jha
 
Deciability (automata presentation)
Deciability (automata presentation)Deciability (automata presentation)
Deciability (automata presentation)Sagar Kumar
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logicJanet Stemwedel
 
My presentation all shortestpath
My presentation all shortestpathMy presentation all shortestpath
My presentation all shortestpathCarlostheran
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)chauhankapil
 
Classical and Fuzzy Relations
Classical and Fuzzy RelationsClassical and Fuzzy Relations
Classical and Fuzzy RelationsMusfirah Malik
 
Ai lecture 11(unit03)
Ai lecture  11(unit03)Ai lecture  11(unit03)
Ai lecture 11(unit03)vikas dhakane
 
Statistical machine translation
Statistical machine translationStatistical machine translation
Statistical machine translationHrishikesh Nair
 
Ai lecture 10(unit03)
Ai lecture  10(unit03)Ai lecture  10(unit03)
Ai lecture 10(unit03)vikas dhakane
 
Bc0052 theory of computer science
Bc0052   theory of computer scienceBc0052   theory of computer science
Bc0052 theory of computer sciencesmumbahelp
 
Cs6503 theory of computation syllabus
Cs6503 theory of computation syllabusCs6503 theory of computation syllabus
Cs6503 theory of computation syllabusappasami
 
Discrete Mathematics
Discrete MathematicsDiscrete Mathematics
Discrete Mathematicsmetamath
 
Theory of Computation "Chapter 1, introduction"
Theory of Computation "Chapter 1, introduction"Theory of Computation "Chapter 1, introduction"
Theory of Computation "Chapter 1, introduction"Ra'Fat Al-Msie'deen
 
Cs6503 theory of computation lesson plan
Cs6503 theory of computation  lesson planCs6503 theory of computation  lesson plan
Cs6503 theory of computation lesson planappasami
 

What's hot (20)

Formal language & automata theory
Formal language & automata theoryFormal language & automata theory
Formal language & automata theory
 
First order predicate logic(fopl)
First order predicate logic(fopl)First order predicate logic(fopl)
First order predicate logic(fopl)
 
Deciability (automata presentation)
Deciability (automata presentation)Deciability (automata presentation)
Deciability (automata presentation)
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logic
 
My presentation all shortestpath
My presentation all shortestpathMy presentation all shortestpath
My presentation all shortestpath
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)
 
Classical and Fuzzy Relations
Classical and Fuzzy RelationsClassical and Fuzzy Relations
Classical and Fuzzy Relations
 
Ai lecture 11(unit03)
Ai lecture  11(unit03)Ai lecture  11(unit03)
Ai lecture 11(unit03)
 
Statistical machine translation
Statistical machine translationStatistical machine translation
Statistical machine translation
 
AI Lesson 09
AI Lesson 09AI Lesson 09
AI Lesson 09
 
Ai lecture 10(unit03)
Ai lecture  10(unit03)Ai lecture  10(unit03)
Ai lecture 10(unit03)
 
Fol
FolFol
Fol
 
Automata
AutomataAutomata
Automata
 
Bc0052 theory of computer science
Bc0052   theory of computer scienceBc0052   theory of computer science
Bc0052 theory of computer science
 
Introduction to fuzzy logic
Introduction to fuzzy logicIntroduction to fuzzy logic
Introduction to fuzzy logic
 
Cs6503 theory of computation syllabus
Cs6503 theory of computation syllabusCs6503 theory of computation syllabus
Cs6503 theory of computation syllabus
 
Discrete Mathematics
Discrete MathematicsDiscrete Mathematics
Discrete Mathematics
 
Theory of Computation "Chapter 1, introduction"
Theory of Computation "Chapter 1, introduction"Theory of Computation "Chapter 1, introduction"
Theory of Computation "Chapter 1, introduction"
 
Cs6503 theory of computation lesson plan
Cs6503 theory of computation  lesson planCs6503 theory of computation  lesson plan
Cs6503 theory of computation lesson plan
 
Unit ii
Unit iiUnit ii
Unit ii
 

Similar to Mc0082 theory of computer science

Introduction to the theory of computation
Introduction to the theory of computationIntroduction to the theory of computation
Introduction to the theory of computationprasadmvreddy
 
Introduction to complexity theory assignment
Introduction to complexity theory assignmentIntroduction to complexity theory assignment
Introduction to complexity theory assignmenttesfahunegn minwuyelet
 
Summary distributed representations_words_phrases
Summary distributed representations_words_phrasesSummary distributed representations_words_phrases
Summary distributed representations_words_phrasesYue Xiangnan
 
A method for finding an optimal solution of an assignment problem under mixed...
A method for finding an optimal solution of an assignment problem under mixed...A method for finding an optimal solution of an assignment problem under mixed...
A method for finding an optimal solution of an assignment problem under mixed...Navodaya Institute of Technology
 
Master of Computer Application (MCA) – Semester 4 MC0079
Master of Computer Application (MCA) – Semester 4  MC0079Master of Computer Application (MCA) – Semester 4  MC0079
Master of Computer Application (MCA) – Semester 4 MC0079Aravind NC
 
A Machine-Assisted Proof of Gödel's Incompleteness Theorems
A Machine-Assisted Proof of Gödel's Incompleteness TheoremsA Machine-Assisted Proof of Gödel's Incompleteness Theorems
A Machine-Assisted Proof of Gödel's Incompleteness TheoremsLawrence Paulson
 
My presentation all shortestpath
My presentation all shortestpathMy presentation all shortestpath
My presentation all shortestpathCarlostheran
 
Optimization using soft computing
Optimization using soft computingOptimization using soft computing
Optimization using soft computingPurnima Pandit
 
Mc0079 computer based optimization methods--phpapp02
Mc0079 computer based optimization methods--phpapp02Mc0079 computer based optimization methods--phpapp02
Mc0079 computer based optimization methods--phpapp02Rabby Bhatt
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithmsmumbahelp
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithmsmumbahelp
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithmsmumbahelp
 
Basic Foundations of Automata Theory
Basic Foundations of Automata TheoryBasic Foundations of Automata Theory
Basic Foundations of Automata Theorysaugat86
 
Lecture 2: Computational Semantics
Lecture 2: Computational SemanticsLecture 2: Computational Semantics
Lecture 2: Computational SemanticsMarina Santini
 
AI - Backtracking vs Depth-First Search (DFS)
AI - Backtracking vs Depth-First Search (DFS)AI - Backtracking vs Depth-First Search (DFS)
AI - Backtracking vs Depth-First Search (DFS)Johnnatan Messias
 
Natural Language Processing Topics for Engineering students
Natural Language Processing Topics for Engineering studentsNatural Language Processing Topics for Engineering students
Natural Language Processing Topics for Engineering studentsRosnaPHaroon
 

Similar to Mc0082 theory of computer science (20)

Mcs 031
Mcs 031Mcs 031
Mcs 031
 
Introduction to the theory of computation
Introduction to the theory of computationIntroduction to the theory of computation
Introduction to the theory of computation
 
Introduction to complexity theory assignment
Introduction to complexity theory assignmentIntroduction to complexity theory assignment
Introduction to complexity theory assignment
 
Summary distributed representations_words_phrases
Summary distributed representations_words_phrasesSummary distributed representations_words_phrases
Summary distributed representations_words_phrases
 
A method for finding an optimal solution of an assignment problem under mixed...
A method for finding an optimal solution of an assignment problem under mixed...A method for finding an optimal solution of an assignment problem under mixed...
A method for finding an optimal solution of an assignment problem under mixed...
 
Master of Computer Application (MCA) – Semester 4 MC0079
Master of Computer Application (MCA) – Semester 4  MC0079Master of Computer Application (MCA) – Semester 4  MC0079
Master of Computer Application (MCA) – Semester 4 MC0079
 
A Machine-Assisted Proof of Gödel's Incompleteness Theorems
A Machine-Assisted Proof of Gödel's Incompleteness TheoremsA Machine-Assisted Proof of Gödel's Incompleteness Theorems
A Machine-Assisted Proof of Gödel's Incompleteness Theorems
 
My presentation all shortestpath
My presentation all shortestpathMy presentation all shortestpath
My presentation all shortestpath
 
Fafl notes [2010] (sjbit)
Fafl notes [2010] (sjbit)Fafl notes [2010] (sjbit)
Fafl notes [2010] (sjbit)
 
Optimization using soft computing
Optimization using soft computingOptimization using soft computing
Optimization using soft computing
 
Mc0079 computer based optimization methods--phpapp02
Mc0079 computer based optimization methods--phpapp02Mc0079 computer based optimization methods--phpapp02
Mc0079 computer based optimization methods--phpapp02
 
AI Lesson 11
AI Lesson 11AI Lesson 11
AI Lesson 11
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithm
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithm
 
Mca 4040 analysis and design of algorithm
Mca 4040  analysis and design of algorithmMca 4040  analysis and design of algorithm
Mca 4040 analysis and design of algorithm
 
DAA UNIT 3
DAA UNIT 3DAA UNIT 3
DAA UNIT 3
 
Basic Foundations of Automata Theory
Basic Foundations of Automata TheoryBasic Foundations of Automata Theory
Basic Foundations of Automata Theory
 
Lecture 2: Computational Semantics
Lecture 2: Computational SemanticsLecture 2: Computational Semantics
Lecture 2: Computational Semantics
 
AI - Backtracking vs Depth-First Search (DFS)
AI - Backtracking vs Depth-First Search (DFS)AI - Backtracking vs Depth-First Search (DFS)
AI - Backtracking vs Depth-First Search (DFS)
 
Natural Language Processing Topics for Engineering students
Natural Language Processing Topics for Engineering studentsNatural Language Processing Topics for Engineering students
Natural Language Processing Topics for Engineering students
 

Mc0082 theory of computer science

  • 1. Dear students get fully solved assignments Send your semester & Specialization name to our mail id : help.mbaassignments@gmail.com or call us at : 08263069601 WINTER 2013, ASSIGNMENT DRIVE WINTER 2014 PROGRAM MCA(REVISED FALL 2007) SUBJECT CODE & NAME MC0082- THEORY OF COMPUTER SCIENCE SEMESTER 5TH SEM CREDITS 4 MAX. MARKS 60 BK ID B0970 Answer all questions 1 Differentiate between Recursive Functions and growth functions. Answer : What's a Recursive Function? Technically, a recursive function is a function that makes a call to itself. To prevent infinite recursion, you need an if-else statement (of some sort) where one branch makes a recursive call, and the other branch does not. The branch without a recursive call is usually the base case (base cases do not make recursive calls to the function). Functions can also be mutually recursive. For example, function f() can call function g() and function g() can call function f(). This is still considered recursion because a function can eventually call itself. In this case, f() indirectly calls itself. 2. Describe direct and indirect proof techniques. Ans : Direct proof : In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually existing lemmas and theorems, without making any further assumptions. In order to directly prove a conditional statement of the form "If p, then q", it suffices to consider the situations in which the statement p is true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first-order logic, employing the quantifiers for all and there exists. Common proof rules used are modus ponens and universal instantiation. 3. Discuss about Walks and Paths in Trees
  • 2. Ans : Walks and Paths in Trees : In the mathematical field of graph theory, a path graph or linear graph is a particularly simple example of a tree, namely a tree with two or more vertices that is not branched at all, that is, contains only vertices of degree 2 and 1. In particular, it has two terminal vertices (vertices that have degree 1), while all others (if any) have degree 2. A path in a graph is a sequence of vertices such that from each of its vertices there is an edge to the next vertex in the sequence. A path may be 4. What is DFA? Discuss about Transition System. Ans : DFA : In automata theory, a branch of theoretical computer science, a deterministic finite automaton (DFA)—also known as deterministic finite state machine—is a finite state machine that accepts/rejects finite strings of symbols and only produces a unique computation (or run) of the automaton for each input string.'Deterministic' refers to the uniqueness of the computation. In search of simplest models to capture the 5. Differentiate between Moore machine and Mealy machine. Ans : Moore machine : In the theory of computation, a Moore machine is a finite-state machine whose output values are determined solely by its current state. This is in contrast to a Mealy machine, whose output values are determined both by its current state and by the values of its inputs. The Moore machine is named after Edward F. Moore, who presented the concept in a 1956 paper, “Gedanken-experiments on Sequential Machines. 6. Define context-free grammar. What is an ambiguous grammar? Explain with an example. Ans : Ambiguous grammer : In computer science, an ambiguous grammar is a formal grammar for which there exists a string that can have more than one leftmost derivation, while an unambiguous grammar is a formal grammar for which every valid string has a unique leftmost derivation. Many languages admit both ambiguous and unambiguous grammars, while some languages admit only ambiguous grammars. Any non- empty language admits an ambiguous grammar by Dear students get fully solved assignments Send your semester & Specialization name to our mail id : help.mbaassignments@gmail.com or call us at : 08263069601