Вот есть такая например задачка.

Хранилище крупного склада состоит из стеллажей,  предназначенных для хранения материальных ценностей. Изделия i-й  номенклатуры хранятся в i-м стеллаже, i=1,2,...,n. Содержание  стеллажей изменяется в моменты времени поступления на склад новых  партий изделий или изъятия изделий для удовлетворения заявок потребителей.

И для неё решение.

Представим хранилище в виде конечного асинхронного  автомата Мура. В качестве состояния выберем n-мерный вектор:

z = ( z1, z2,...,zn ),

где zi - число изделий (i-й номенклатуры ) на i-м стеллаже. Входной сигнал - (n+1)-мерный вектор:

х = ( х1, х2,..., хn, m ),

где х - число  изделий i-й номенклатуры,  поступивших  на  склад (m = +1), или изымаемых со склада (m = -1). В качестве  выходного сигнала можно взять n-мерный вектор:

у = ( у1, у2, ...уn),

для которого уi(t) = zi(t) (информация об остатке изделий в  хранилище).

Тогда функция переходов описывается соотношениями вида:

zi(t) = zi(t-1) + m * xi(t),

а функция выходов - соотношениями вида:

yi(t) = zi(t).

Вот объясните мне плиз эту теорию автоматов. Как её программно можно будет представить. То есть саму математику я вроде уловила. Но смысл не очень понятен. То есть к примеру показать в виде таблички начальное состояние стеллажей, потом конечное? и всё? 

А при чём здесь автоматы Мура?