Q3. Give formal definitions of NFAs using minimum number of states for the following languages. L13 = {w (0,1}' : w does not contain a pair of Os that are separated by an odd number of symbols) L14 = {w (0,1,2)* : w is a ternary representation of an integer that is a multiple of 3 but not a multiple of 9} Lis - {we (0,1): w either has odd number of O's or the number of 1's in w is not a multiple of 3, or both)