Specifically, B is a language over alphabet ? = {a, . . ., z, 0, 1 . . ., 9, _, =, : } (the char represents a space) that contains strings of the following form:
B = {w | w = if_var==num:indent?num?else:indent?num?}
where:
1. var ? {a,...,z}
2. num, num?, num? ? {0,1,...,9}
3. indent?, indent? ? __*
4. |indent?| = |indent?|