GATE Computer Science & IT 2023 — GATE 2023 · CS

Consider the following statements regarding the front-end and back-end of a compiler.

S1: The front-end includes phases that are independent of the target hardware.

S2: The back-end includes phases that are specific to the target hardware.

S3: The back-end includes phases that are specific to the programming language used in the source code.

Identify the CORRECT option.

Which one of the following sequences when stored in an array at locations A[1],...,A[10] forms a max-heap?

Let SLLdel be a function that deletes a node in a singly-linked list given a pointer to the node and a pointer to the head of the list. Similarly, let DLLdel be another function that deletes a node in a doubly-linked list given a pointer to the node and a pointer to the head of the list. Let n denote the number of nodes in each of the linked lists. Which one of the following choices is TRUE about the worst-case time complexity of SLLdel and DLLdel?

Consider the Deterministic Finite-state Automaton (DFA) A shown below. The DFA runs on the alphabet {0, 1}, and has the set of states {s, p, q, r}, with s being the start state and p being the only final state.

Which one of the following regular expressions correctly describes the language accepted by A?

The Lucas sequence Ln is defined by the recurrence relation:

Ln = Ln−1 + Ln−2, for n ≥ 3,

with L1 = 1 and L2 = 3.

Which one of the options given is TRUE?

Which one of the options given below refers to the degree (or arity) of a relation in relational database systems?

Suppose two hosts are connected by a point-to-point link and they are configured to use Stop-and-Wait protocol for reliable data transfer. Identify in which one of the following scenarios, the utilization of the link is the lowest.

Let

Let det(A) and det(B) denote the determinants of the matrices A and B, respectively.

Which one of the options given below is TRUE?

Consider the following definition of a lexical token id for an identifier in a programming language, using extended regular expressions:

        letter → [A-Za-z]

        digit → [0-9]

        id → letter (letter | digit)∗

Which one of the following Non-deterministic Finite-state Automata with ε-transitions accepts the set of valid identifiers? (A double-circle denotes a final state)

An algorithm has to store several keys generated by an adversary in a hash table. The adversary is malicious who tries to maximize the number of collisions. Let k be the number of keys, m be the number of slots in the hash table, and k>m.

Which one of the following is the best hashing strategy to counteract the adversary?

The output of a 2-input multiplexer is connected back to one of its inputs as shown in the figure.

Match the functional equivalence of this circuit to one of the following options.

Which one or more of the following need to be saved on a context switch from one thread (T1) of a process to another thread (T2) of the same process?

Which one or more of the following options guarantee that a computer system will transition from user mode to kernel mode?

Which of the following statements is/are CORRECT?

Which of the following statements is/are INCORRECT about the OSPF (Open Shortest Path First) routing protocol used in the Internet?

Geetha has a conjecture about integers, which is of the form

$\forall x \, (P(x) \Rightarrow \exists y \, Q(x, y))$

where P is a statement about integers, and Q is a statement about pairs of integers. Which of the following (one or more) option(s) would imply Geetha’s conjecture?

Which one or more of the following CPU scheduling algorithms can potentially cause starvation?

Let

$f(x) = x^3 + 15x^2 - 33x - 36$

be a real-valued function. Which of the following statements is/are TRUE?

Let f and g be functions of natural numbers given by $f(n)$ = n and $g(n)$ = n2. Which of the following statements is/are TRUE?

Let A be the adjacency matrix of the graph with vertices {1, 2, 3, 4, 5}.

Let λ1, λ2, λ3, λ4, and λ5 be the five eigenvalues of A. Note that these eigenvalues need not be distinct. The value of λ1 + λ2 + λ3 + λ4 + λ5 = _______.

The value of the definite integral

$\int_{-3}^{3} \int_{-2}^{2} \int_{-1}^{1} (4x^2y - z^3) \, dz \, dy \, dx$

is_______ . (Rounded off to the nearest integer)

A particular number is written as 132 in radix-4 representation. The same number in radix-5 representation is ________.

Consider a 3-stage pipelined processor having a delay of 10 ns (nanoseconds), 20 ns, and 14 ns, for the first, second, and the third stages, respectively. Assume that there is no other delay and the processor does not suffer from any pipeline hazards. Also assume that one instruction is fetched every cycle.

The total execution time for executing 100 instructions on this processor is ________ ns.

A keyboard connected to a computer is used at a rate of 1 keystroke per second. The computer system polls the keyboard every 10 ms (milli seconds) to check for a keystroke and consumes 100 μs (micro seconds) for each poll. If it is determined after polling that a key has been pressed, the system consumes an additional 200 μs to process the keystroke.

Let T1 denote the fraction of a second spent in polling and processing a keystroke. In an alternative implementation, the system uses interrupts instead of polling. An interrupt is raised for every keystroke. It takes a total of 1 ms for servicing an interrupt and processing a keystroke. Let T2 denote the fraction of a second spent in servicing the interrupt and processing a keystroke.

The ratio T1/T2 is . (Rounded off to one decimal place)

The integer value printed by the ANSI-C program given below is ________.

        #include<stdio.h>
       int funcp(){
            static int x = 1;
            x++;
            return x;
        }

        int main(){
            int x,y;
            x = funcp();
            y = funcp()+x;
            printf("%d\n", (x+y));
            return 0;
        }

Consider the following program:

Which one of the following options represents the activation tree corresponding to the main function?

Consider the control flow graph shown.

Which one of the following choices correctly lists the set of live variables at the exit point of each basic block?

Consider the two functions incr and decr shown below.

  incr(){
        wait(s);
        X = X+1;
        signal(s);
   }

    decr(){
        wait(s);
        X = X-1;
        signal(s);
    }

There are 5 threads each invoking incr once, and 3 threads each invoking decr once, on the same shared variable X. The initial value of X is 10.

Suppose there are two implementations of the semaphore s, as follows:
I-1: s is a binary semaphore initialized to 1.
I-2: s is a counting semaphore initialized to 2.

Let V1, V2 be the values of X at the end of execution of all the threads with implementations I-1, I-2, respectively.

Which one of the following choices corresponds to the minimum possible values of
V1, V2, respectively?

Consider the context-free grammar G below

        S → aSb | X
        X → aX | Xb | a | b ,

where S and X are non-terminals, and a and b are terminal symbols. The starting non-terminal is S.
Which one of the following statements is CORRECT?

Consider the pushdown automaton (PDA) P below, which runs on the input alphabet {a, b}, has stack alphabet {⊥, A}, and has three states {s, p, q}, with s being the start state. A transition from state u to state v, labelled c/X/γ, where c is an input symbol or ε, X is a stack symbol, and γ is a string of stack symbols, represents the fact that in state u, the PDA can read c from the input, with X on the top of its stack, pop X from the stack, push in the string γ on the stack, and go to state v. In the initial configuration, the stack has only the symbol ⊥ in it. The PDA accepts by empty stack.

Which one of the following options correctly describes the language accepted by P?

Consider the given C-code and its corresponding assembly code, with a few operands U1–U4 being unknown. Some useful information as well as the semantics of each unique assembly instruction is annotated as inline comments in the code. The memory is byte-addressable.

Which one of the following options is a CORRECT replacement for operands in the position (U1, U2, U3, U4) in the above assembly code?

A 4 kilobyte (KB) byte-addressable memory is realized using four 1 KB memory blocks. Two input address lines (IA4 and IA3) are connected to the chip select (CS) port of these memory blocks through a decoder as shown in the figure. The remaining ten input address lines from IA11–IA0 are connected to the address port of these blocks. The chip select (CS) is active high.

The input memory addresses (IA11–IA0), in decimal, for the starting locations (Addr=0) of each block (indicated as X1, X2, X3, X4 in the figure) are among the options given below. Which one of the following options is CORRECT?

Consider a sequential digital circuit consisting of T flip-flops and D flip-flops as shown in the figure. CLKIN is the clock input to the circuit. At the beginning, Q1, Q2 and Q3 have values 0, 1 and 1, respectively.

Which one of the given values of (Q1, Q2, Q3) can NEVER be obtained with this digital circuit?

A Boolean digital circuit is composed using two 4-input multiplexers (M1 and M2) and one 2-input multiplexer (M3) as shown in the figure. X0–X7 are the inputs of the multiplexers M1 and M2 and could be connected to either 0 or 1. The select lines of the multiplexers are connected to Boolean variables A, B and C as shown.

Which one of the following set of values of (X0, X1, X2, X3, X4, X5, X6, X7) will realise the Boolean function

Consider the IEEE-754 single precision floating point numbers

P=0xC1800000 and Q=0x3F5C2EF4.

Which one of the following corresponds to the product of these numbers (i.e., P × Q), represented in the IEEE-754 single precision format?

Let A be a priority queue for maintaining a set of elements. Suppose A is implemented using a max-heap data structure. The operation Extract-Max(A) extracts and deletes the maximum element from A. The operation Insert(A,key) inserts a new element key in A. The properties of a max-heap are preserved at the end of each of these operations.

When A contains n elements, which one of the following statements about the worst case running time of these two operations is TRUE?

Consider the C function foo and the binary tree shown.

    typedef struct node {
        int val;
        struct node *left, *right;
    } node;
    int foo(node *p) {
        int retval;
        if (p == NULL)
            return 0;
        else {
            retval = p->val + foo(p->left) + foo(p->right);
            printf("%d ", retval);
            return retval;
        }
    }

When foo is called with a pointer to the root node of the given binary tree, what will it print?

Let U = {1, 2,...,n}, where n is a large positive integer greater than 1000. Let k be a positive integer less than n. Let A, B be subsets of U with |A| = |B| = k and A ∩ B = ∅. We say that a permutation of U separates A from B if one of the following is true.

    - All members of A appear in the permutation before any of the members of B.

    - All members of B appear in the permutation before any of the members of A.

How many permutations of U separate A from B?

Let f: A → B be an onto (or surjective) function, where A and B are nonempty sets. Define an equivalence relation ∼ on the set A as

a₁ ∼ a₂ if f(a₁) = f(a₂),

where a₁, a₂ ∈ A. Let 𝓔 = {[x] : x ∈ A} be the set of all the equivalence classes under ∼. Define a new mapping F: 𝓔 → B as

F([x]) = f(x), for all the equivalence classes [x] in 𝓔.

Which of the following statements is/are TRUE?

Suppose you are asked to design a new reliable byte-stream transport protocol like TCP. This protocol, named myTCP, runs over a 100 Mbps network with Round Trip Time of 150 milliseconds and the maximum segment lifetime of 2 minutes.

Which of the following is/are valid lengths of the Sequence Number field in the myTCP header?

Let X be a set and 2X denote the powerset of X.

Define a binary operation Δ on 2X as follows:

$AΔB = (A − B) ∪ (B − A) .$

Let H = (2X, Δ). Which of the following statements about H is/are correct?

Suppose in a web browser, you click on the www.gate-2023.in URL. The browser cache is empty. The IP address for this URL is not cached in your local host, so a DNS lookup is triggered (by the local DNS server deployed on your local host) over the 3-tier DNS hierarchy in an iterative mode. No resource records are cached anywhere across all DNS servers.

Let RTT denote the round trip time between your local host and DNS servers in the DNS hierarchy. The round trip time between the local host and the web server hosting www.gate-2023.in is also equal to RTT. The HTML file associated with the URL is small enough to have negligible transmission time and negligible rendering time by your web browser, which references 10 equally small objects on the same web server.

Which of the following statements is/are CORRECT about the minimum elapsed time between clicking on the URL and your browser fully rendering it?

Consider a random experiment where two fair coins are tossed. Let A be the event that denotes HEAD on both the throws, B be the event that denotes HEAD on the first throw, and C be the event that denotes HEAD on the second throw. Which of the following statements is/are TRUE?

Consider functions Function_1 and Function_2 expressed in pseudocode as follows:

 Function_1
            while n > 1 do
                for i = 1 to n do
                    x = x + 1;
                end for
                n = $\lfloor {n} / {2} \rfloor$
            end while

    Function_2

            for i = 1 to 100 ∗ n do

                    x = x + 1;

            end for

Let $f_1(n)$ and $f_2(n)$ denote the number of times the statement “x = x + 1” is executed in Function_1 and Function_2, respectively. Which of the following statements is/are TRUE?

Let G be a simple, finite, undirected graph with vertex set {$v_1,...,v_n$}. Let Δ(G) denote the maximum degree of G and let N = {1, 2,...} denote the set of all possible colors. Color the vertices of G using the following greedy strategy:

for $i$ = 1,...,n

            color($v_i$) ← min{$j$ ∈ N : no neighbour of $v_i$ is colored $j$}

Which of the following statements is/are TRUE?

Let U = {1, 2, 3}. Let 2ᵁ denote the powerset of U. Consider an undirected graph G whose vertex set is 2ᵁ.

For any A, B ∈ 2ᵁ, (A, B) is an edge in G if and only if (i) A ≠ B, and (ii) either A ⊆ B or B ⊆ A.

For any vertex A in G, the set of all possible orderings in which the vertices of G can be visited in a Breadth First Search (BFS) starting from A is denoted by ℬ(A).

If ∅ denotes the empty set, then the cardinality of ℬ(∅) is ________.

Consider the following two-dimensional array D in the C programming language, which is stored in row-major order:

        int D[128][128];

Demand paging is used for allocating memory and each physical page frame holds 512 elements of the array D. The Least Recently Used (LRU) page-replacement policy is used by the operating system. A total of 30 physical page frames are allocated to a process which executes the following code snippet:

    for (int i = 0; i < 128; i++)

        for (int j = 0; j < 128; j++)

                D[j][i] *= 10;

The number of page faults generated during the execution of this code snippet is ______ .

Consider a computer system with 57-bit virtual addressing using multi-level tree-structured page tables with L levels for virtual to physical address translation. The page size is 4 KB (1 KB = 1024 B) and a page table entry at any of the levels occupies 8 bytes.

The value of L is _______ .

Consider a sequence a of elements a0 = 1, a1 = 5, a2 = 7, a3 = 8, a4 = 9, and a5 = 2. The following operations are performed on a stack S and a queue Q, both of which are initially empty.

    I: push the elements of a from a0 to a5 in that order into S.

    II: enqueue the elements of a from a0 to a5 in that order into Q.

    III: pop an element from S.

    IV: dequeue an element from Q.

    V: pop an element from S.

    VI: dequeue an element from Q.

    VII: dequeue an element from Q and push the same element into S.

    VIII: Repeat operation VII three times.

    IX: pop an element from S.

    X: pop an element from S.

The top element of S after executing the above operations is .

Consider the syntax directed translation given by the following grammar and semantic rules. Here N, I, F and B are non-terminals. N is the starting non-terminal, and #, 0 and 1 are lexical tokens corresponding to input letters “#”, “0” and “1”, respectively. X.val denotes the synthesized attribute (a numeric value) associated with a non-terminal X. I1 and F1 denote occurrences of I and F on the right hand side of a production, respectively. For the tokens 0 and 1, 0.val = 0 and 1.val = 1.

        N → I # F N.val = I.val + F.val

        I → I1 B I.val = (2 I1.val) + B.val

        I → B I.val = B.val

        F → B F1 F.val = $\frac{1}{2}$(B.val + F1.val)

        F → B F.val = $\frac{1}{2}$B.val

        B → 0 B.val = 0.val

        B → 1 B.val = 1.val

The value computed by the translation scheme for the input string

                10#011

is _______ . (Rounded off to three decimal places)

Consider the following table named Student in a relational database. The primary key of this table is rollNum.

Student

The SQL query below is executed on this database

        SELECT *

        FROM Student

        WHERE gender = ‘F’ AND  marks > 65;

The number of rows returned by the query is ______.

Consider a database of fixed-length records, stored as an ordered file. The database has 25,000 records, with each record being 100 bytes, of which the primary key occupies 15 bytes. The data file is block-aligned in that each data record is fully contained within a block. The database is indexed by a primary index file, which is also stored as a block-aligned ordered file. The figure below depicts this indexing scheme.

Suppose the block size of the file system is 1024 bytes, and a pointer to a block occupies 5 bytes. The system uses binary search on the index file to search for a record with a given key. You may assume that a binary search on an index file of b blocks takes ⌈log₂ b⌉ block accesses in the worst case. Given a key, the number of block accesses required to identify the block in the data file that may contain a record with the key, in the worst case, is ______.

Consider the language L over the alphabet {0, 1}, given below:

$L$= {$w$∈ {0,1}* | $w$ does not contain three or more consecutive 1’s}.

The minimum number of states in a Deterministic Finite-State Automaton (DFA) for $L$ is _______ .

An 8-way set associative cache of size 64 KB (1 KB = 1024 bytes) is used in a system with 32-bit address. The address is sub-divided into TAG, INDEX, and BLOCK OFFSET.

The number of bits in the TAG is __________ .

The forwarding table of a router is shown below.

A packet addressed to a destination address 200.150.68.118 arrives at the router. It will be forwarded to the interface with ID _________ .

We reached the station late, and _______ missed the train.

Kind : _______ : : Often : Frequently

(By word meaning; use “kind” as a noun.)

A series of natural numbers 𝐹1, 𝐹2, 𝐹3, 𝐹4, 𝐹5, 𝐹6, 𝐹7, … obeys 𝐹𝑛+1 = 𝐹𝑛 + 𝐹𝑛−1 for all integers 𝑛 ≥ 2 .

If 𝐹6 = 37, and 𝐹7 = 60, then what is 𝐹1 ?

A survey for a certain year found that 90% of pregnant women received medical care at least once before giving birth. Of these women, 60% received medical care from doctors, while 40% received medical care from other healthcare providers.

Given this information, which one of the following statements can be inferred with certainty?

Looking at the surface of a smooth 3-dimensional object from the outside, which one of the following options is TRUE?

The country of Zombieland is in distress since more than 75% of its working population is suffering from serious health issues. Studies conducted by competent health experts concluded that a complete lack of physical exercise among its working population was one of the leading causes of their health issues. As one of the measures to address the problem, the Government of Zombieland has decided to provide monetary incentives to those who ride bicycles to work.

Based only on the information provided above, which one of the following statements can be logically inferred with certainty?

Consider two functions of time (𝑡),

             𝑓(𝑡) = 0.01 𝑡2

            𝑔(𝑡) = 4𝑡

where 0 < 𝑡 < ∞.

Now consider the following two statements:

(i) For some 𝑡 > 0, 𝑔(𝑡) > 𝑓(𝑡).

(ii) There exists a 𝑇, such that 𝑓(𝑡) > 𝑔(𝑡) for all 𝑡 > 𝑇.

Which one of the following options is TRUE?

Which one of the following sentence sequences creates a coherent narrative?

(i) Once on the terrace, on her way to her small room in the corner, she notices the man right away.
(ii) She begins to pant by the time she has climbed all the stairs.
(iii) Mina has bought vegetables and rice at the market, so her bags are heavy.
(iv) He was leaning against the parapet, watching the traffic below.

f(𝑥) and g(𝑦) are functions of x and y, respectively, and f(𝑥) = g(𝑦) for all real values of 𝑥 and 𝑦. Which one of the following options is necessarily TRUE for all x and y?

Which one of the options best describes the transformation of the 2-dimensional figure P to Q, and then to R, as shown?