software (исходное слово) sotfware (применение правила S → X) sofware (применение правила O → S) sofwrae (применение правила F → O) sotware (применение правила T → F) sowtare (применение правила W → T) sotaew (применение правила A → W) sowrae (применение правила R → A) soraw (применение правила E → R) erawtfos (применение всех правил в обратном порядке)
И, да: это абсолютно корректный НАМ. Если бы был задан алфавит и поставлена задача перевернуть произвольное слово, ответ был бы иным. Но то, как эта задача сформулирована, позволяет решить её одной командой.