是用is
change sth,意思是改变什么,如果要说到变成----的话,需要用change to/into,需要加个介词.显然句子的意思不是改变红色,应该是变成红灯的时候,所以应该有to/into,才能用change.
所以只能选is了,灯是红色的时候,也就是当红灯的时候~