Minimal Transition C

Emptiness