Need answers to 2-4 I already have 1

Compiler Theory Ch4 Syntax Analysis 1. Design grammars for the following languages: 1) The set of all strings of Os and 1s such that every 1 is immediately followed by at least one 0 2) The set of all strings of Os and 1s that are palindromes; that is, the string reads the same backward as forward 3) The set of all strings of Os and 1s with an equal number of Os and 1s 4) The set of all strings of Os and 1s with an unequal number of Os and 1s 5) The set of all strings of Os and 1s in which 011 does not appear as a substring 2. Square braces around a grammar symbol or symbols denotes that these constructs are optional. Thus, production A-> XIVJZ has the same effect as the two productions A->XYZ and A -> XZ Now, use the braces described above to simplify the following grammar for statement blocks and conditional statements: stmt if expr then stmt else stmt if expr then stmt begin stmtlist end stmtlist -stmt; stmtlist| stmt 3. The following is a grammar for regular expressions over symbols a a + for union, to avoid conflict with the use of vertical bar as a meta-symbol in grammars: nd b only, using rexpr -rexpr rtern I rterm rterm - rterm rfactor I rfactor rfactor - rfactor I rprimary rprimary >alb a) Left factor this grammar b) Does left factoring make the grammar suitable for top-down parsing? c) In addition to left factoring, eliminate left recursion from the original grammar. Is the resulting grammar suitable for top-down parsing? d) 4. Repeat above exercise 3 for the following grammars: 1) S->SS+ISS 1a