code: def t_bin_ZERO(t):
      r'[^01]'
      t.lexer.begin('INITIAL')
      t.type = 'NUMBER'
      t.value = 0
      t.lexer.lexpos -= 1
      return f t_bin_ZERO(t):
      r'[^01]'
      t.lexer.begin('INITIAL')
      t.type = 'NUMBER'
      t.value = 0
      t.lexer.lexpos -= 1
      return t
docs: r'[^01]