An array A contains n≥1 positive integers in the locations A[1], A[2],… A[n]. The following program fragment prints the length of a shortest sequence of consecutive […]

Given that L is a language accepted by a finite state machine, show that LP and LR are also accepted by some finite state machines, where […]

A language L is a subset of Pascal with the following constructs: (a) Expressions involving the operators ‘+’ and ‘<‘ only (b) Assignment statements (c) ‘while’ […]

Consider the following program fragment in Pascal: Program Main; var X : integer; procedure A: var Y : integer; procedure B: var Z : integer; procedure […]