State transition tables