Search

28 Nov 2016: Suppose we form a new CFG G′ from G byadding, for each production of the form B a in P (where a Σ), the productionB. ... Describe the new language L(G′) in terms of the original language L(G).

25 Jan 2016: Suppose we form a new CFG G′. from G by adding the production B to P for every B N. ... Describethe new language L(G′) in terms of the original language L(G).

9 Mar 2016: I therefore find a new pair of primes andannounce that I shall be using the Rabin code with modulus N′ > N.

18 Feb 2016: Use unique factorisation in C[X] to construct a new solution tothis equation involving polynomials of smaller degree.

15 Feb 2016: We define a new binary relation σ on V by (x σ y)(x σ(y)).

8 Feb 2016: Let M be a modelof T. Let Σ′ be the signature obtained from Σ by adjoining one new constant cm for each element mof M, and let DM be the theory

25 Apr 2016: Use the simplex method to solve the new problem, letting x2 enter thebasis in the first round.

25 Apr 2016: z is a new slack variable with the additional regional constraint z > 0. ... In thatcase we have found a new BFS with a larger value and can repeat the process.