Переход от автомата Мили к автомату Мура

	Автомат Мура	λ1
	λ2	b1
		ρ1λ1	ρ1	λ2
	b2
		ρ1 ρ1λ1		b5
				ρ2

ρ1 ρ2λ2

b3	b4	λ1
λ1	ρ2

Переход от автомата Мили к автомату Мура

ρ1λ1

x2

ρ1λ1 ρ2λ2

ρ1λ2ρ2λ1

x1

ρ2λ1 x3

Минимизация полностью определённых автоматов

Алгоритм минимизации числа внутренних состояний полностью определённого автомата

1.Находятся последовательныеразбиения π1, π2,… множества X до тех пор, пока на каком-то (k+1) шаге не окажется, что это разбиениеничемне

отличается от предыдущего. Доказано, что в этом случае ( πk= πk +1) πk и есть необходимоенам разбиение,и дальнейшеесокращениечисла внутренних состояний автомата невозможно.