Do program analysis for the following: Youve been asked to create check-out logic for your website. A user could have a number of items in their order with varying prices. Determine the steps that need to be taken to complete a transaction, including tax and shipping. (You may use generic variables for tax and shipping, without values, for this analysis.)

Q46

write a CFG and show your work for each of the following languages:

(1) {0ⁱ1^j: |i j| 2}

(2) {w {0, 1}^*: w is a concatenation of two palindromes}

(3) {aⁱb^jc^k: j max(i, k)}

(4) {w {a, b}^*: every prefix of w (including w itself) has at least as many as as bs}