Q. A program is viewed as a state machine by...........

  • (A) algebraic semantics.
  • (B) denotational semantics.
  • (C) operational semantics.
  • (D) axiomatic semantics.
πŸ’¬ Discuss
βœ… Correct Answer: (D) axiomatic semantics.

Q. In a compiler.....checks every character of the source text.

  • (A) the lexical analyzer.
  • (B) the syntax analyzer.
  • (C) the code generator.
  • (D) the code optimizer.
πŸ’¬ Discuss
βœ… Correct Answer: (A) the lexical analyzer.

Q. ..... Syntax can only represent a rule in one line, whereas in.....a terminating character, the semicolon, marks and end of a rule.

  • (A) ebnf, bnf
  • (B) bnf,ebnf
  • (C) all of above
  • (D) none of these
πŸ’¬ Discuss
βœ… Correct Answer: (B) bnf,ebnf

Q. The full form of EBNF....

  • (A) extended backus naur form
  • (B) extended beginning normal form
  • (C) extended best normal form
  • (D) none of above
πŸ’¬ Discuss
βœ… Correct Answer: (A) extended backus naur form

Q. The syntax of language id define by two sets…

  • (A) lexical rules
  • (B) syntactic rules
  • (C) both a & b
  • (D) none of this
πŸ’¬ Discuss
βœ… Correct Answer: (C) both a & b

Q. Syntax of ALGOL 60 was defined with

  • (A) simply stating some rules in english
  • (B) context-free grammar
  • (C) simple language
  • (D) no syntax
πŸ’¬ Discuss
βœ… Correct Answer: (B) context-free grammar

Q. Meta-language is

  • (A) used to described other language
  • (B) simple language
  • (C) instruction set
  • (D) none of this
πŸ’¬ Discuss
βœ… Correct Answer: (A) used to described other language

Q. Postcondition is

  • (A) predicate p required to hold after execution of statement s
  • (B) predicate q such that execution of s terminates & p holds upon termination
  • (C) either a or b
  • (D) both true
πŸ’¬ Discuss
βœ… Correct Answer: (A) predicate p required to hold after execution of statement s

Q. Predicate Q can be return as

  • (A) q=t and r;t=termination,r=truth of p
  • (B) r=i
  • (C) q=t
  • (D) q=r
πŸ’¬ Discuss
βœ… Correct Answer: (A) q=t and r;t=termination,r=truth of p

Jump to