Correct : Phase of Compiler

To match the concepts related to compiler design and runtime environments, let us analyze each item individually.
Analyze each matching pair:
• (P) Lexical analysis: This is the first phase of a compiler where the input source code is broken down into a stream of tokens. The patterns for these tokens (like keywords, identifiers, operators) are typically defined using regular expressions. Finite automata, derived from regular expressions, are used to implement lexical analyzers (scanners).     Therefore, (P) Lexical analysis matches with (iii) Regular expressions.

• (Q) Top down parsing: Top-down parsing is a parsing strategy that starts from the start symbol of the grammar and tries to derive the input string by applying production rules. This process corresponds to constructing a parse tree from the root downwards. A key characteristic of top-down parsers is that they typically produce a leftmost derivation of the input string.     Therefore, (Q) Top down parsing matches with (i) Leftmost derivation.

• (R) Semantic analysis: This phase of the compiler checks for the semantic correctness of the program, ensuring that the code adheres to the language's rules beyond just syntax. A primary task of semantic analysis is type checking, which verifies that operations are applied to compatible data types (e.g., ensuring an integer is not added to a string without proper conversion).     Therefore, (R) Semantic analysis matches with (ii) Type checking.

• (S) Runtime environments: A runtime environment refers to the state of a program during its execution, including memory organization, variable storage, and function call management. Activation records (also known as stack frames) are data structures used to manage information for each active function call. They are pushed onto the call stack when a function is invoked and contain local variables, parameters, return addresses, etc.     Therefore, (S) Runtime environments matches with (iv) Activation records.

Consolidate the matches:
• P ↔ iii
• Q ↔ i
• R ↔ ii
• S ↔ iv

Comparing these matches with the given options, option B aligns perfectly with our findings.