设计三种图案彩灯控制系统的控制器。三种图案彩灯依次循环亮，其中苹果形图案灯亮16 s，香蕉形图案灯亮12 s，葡萄形图案灯亮9 s。用逻辑变量A、B、G分别表示苹果灯、香蕉灯、葡萄灯。用逻辑变量X、Y、Z分别表示计时信号16s、12s、9s。下列ASM图正确表示了该灯光控制系统。