Output-encoded state table
HG = ST’H1’H0’F1F0’ + STH1H0’F1’F0
HY = STH1’H0’F1F0’ + ST’H1’H0F1F0’
FG = STH1’H0F1F0’ + ST’H1H0’F1’F0’
HY = STH1H0’F1’F0’ + ST’H1H0’F1’F0
Outputs are unique to states
5 functions (one for each output)
Do not need ANY state bits
Output light encoding: Green = 00, Yellow = 01, Red = 10