Поэкспериментируйте сами. Я экспериментировал, у меня получилось следующее:
1) Незавичимо от того, как названы переменные и в каком порядке они расположены в описании цифрового автомата, в симуляторе последняя переменная считается старшей. Если Вы ниже в описании располагали коды, то вы считаете (при битовом представлении), что первый набитый Вами бит относится к переменной fa1. Так оно есть и в симуляторе так оно остается. Только группу симулятор индицирует, как положено, начиная со старших бит. Поэтому бит fa5 в группе будет индицироваться первым. А в Вашем описании он индицируется последним.
2) биты в описании автомата можно представить как отдельные, ничем не связанные переменные. В вашем примере применен именно такой случай. Можно представить как группу fa[1..5]. Одна тонкость, эта группа в описании виртуальных выходов не может быть представлена наоборот (fa[5..1]). В этом случае компилятор дает ошибку несоответствия.
3) описание типа MACHINE OF BITS (fa[1], fa[2], fa[3], fa[4], fa[5]) тоже не проходит. Поэтому пришлось обмануть компилятор - в описании автомата использовать отдельные переменные, а затем произвести переприсваивание с переворачиванием порядка расположения бит.