Computer Science Engineering (CSE) Exam  >  Computer Science Engineering (CSE) Questions  >  Consider the following computation rules. Par... Start Learning for Free
Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers.  
F(x, y) <== if x = 0 then 0 else
[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]
 where the multiplication functions * is extended as follows:  
0 * w & w * 0 are 0
a * w & w * a are w (for any non-zero integer a)
w * w is w  
We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yields
  • a)
    ω and 0 respectively
  • b)
    0 and 0 respectively
  • c)
    ω and ω respectively
  • d)
    ω and 1 respectively
  • e)
    none of the above
Correct answer is option 'A'. Can you explain this answer?
Verified Answer
Consider the following computation rules. Parallel-outermost rule: Rep...
Answer is A) w and 0
If we solve using parallel innermost rule
F(1,0) = F(2,F(1,0)) * F(0,F(1,0))
=F(2, F(2,F(1,0)) * F(0,F(1,0)) ) * F(0, F(2,F(1,0)) * F(0,F(1,0)) )
Since computation of F(1,0) goes on
we assign F(1,0) to w
So F(1,0)= w
Using parallel outermost rule
F(1,0)= F(2,F(1,0)) * F(0,F(1,0))
= F(2,F(1,0)) * 0
= 0
View all questions of this test
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer?
Question Description
Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? for Computer Science Engineering (CSE) 2024 is part of Computer Science Engineering (CSE) preparation. The Question and answers have been prepared according to the Computer Science Engineering (CSE) exam syllabus. Information about Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? covers all topics & solutions for Computer Science Engineering (CSE) 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer?.
Solutions for Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? in English & in Hindi are available as part of our courses for Computer Science Engineering (CSE). Download more important topics, notes, lectures and mock test series for Computer Science Engineering (CSE) Exam by signing up for free.
Here you can find the meaning of Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? defined & explained in the simplest way possible. Besides giving the explanation of Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer?, a detailed solution for Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? has been provided alongside types of Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? theory, EduRev gives you an ample number of questions to practice Consider the following computation rules. Parallel-outermost rule: Replace all the outermost occurrences of F (i.e., all occurrences of F which do not occur as arguments of other F's) simultaneously. Parallel - innermost rule: Replace all the innermost occurrences of F (i.e.,all occurrences of F with all arguments free of F's) simultaneously. Now consider the evaluations of the recursive program over the integers. F(x, y) <== if x = 0 then 0 else[ F(x + 1, F(x, y)) * F(x - 1, F(x, y))]where the multiplication functions * is extended as follows: 0 * w & w * 0 are 0a * w & w * a are w (for any non-zero integer a)w * w is w We say that F(x, y) = w when the evaluation of F(x, y) does not terminate. Computing F(1, 0) using the parallel - innermost and parallel - outermost rule yieldsa)ωand 0 respectivelyb)0 and 0 respectivelyc)ωand ωrespectivelyd)ωand 1 respectivelye)none of the aboveCorrect answer is option 'A'. Can you explain this answer? tests, examples and also practice Computer Science Engineering (CSE) tests.
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Explore Courses
Signup for Free!
Signup to see your scores go up within 7 days! Learn & Practice with 1000+ FREE Notes, Videos & Tests.
10M+ students study on EduRev