Varför en maskin som beskrivs med tillstånd går att förstå, testa och felsöka, medan en soppa av latch-bitar inte gör det.