Метод кодирования состояний по столбцам таблиц переходов.
Данный метод исключает критические состязания за счет особого принципа кодирования.
Λ-класс в столбце aj- это множество состоящее из устойчивого состояния и всех неустойчивых, из которых задан переход в данное устойчивое состояние. Kj- число классов в j столбце=числу устойчивых состояний.
Переходы в схеме, осуществляются внутри Λ-классов . Критические состязания возникают за счет ложного перехода из одного λ-класса в другой в результате состязаний. Два λ-класса разделены, если невозможен ложный переход из одного класса в другой в результате состязаний.
Достаточное условие отсутствия критических состязаний: в каждом столбце ТП каждая пара λ-классов должна быть разделена.
-
s
X
0
1
1
(1)
3
2
1
(2)
3
4
(3)
4
(4)
6
5
(5)
2
6
5
(6)
7
5
(7)
Этапы синтеза:
Для каждого столбца выделяются разделяющие переменные. Разделяющие переменные по одному столбцу будут не разделяющими по другому столбцу. Свойства разделяющих переменных:
при любом переходе внутри столбца разделяющие переменные не меняют своих значений
в кодах строк одного λ-класса разделяющие переменные имеют одно и то же значение, а в кодах строк разных классов – разные
поведение устройства в столбце зависит только от разделяющих переменных
число разделяющих
переменных: q=
q=
=2
q=
=2
λ-классы кодируются произвольным образом с помощью разделительных переменных (Y1Y2; Y3Y4).
Составляются общие входы строк ТП. Код строки составляется из тех λ-классов, в которые входит данная строка.
-
s
Х
У1у2
У3у4
1
00
01
2
00
00
3
01
01
4
01
10
5
10
00
6
10
10
7
10
11
Составляется кодированная ТП с учетом двух правил заполнения клеток неосновных состояний:
Если в коде строки si значение разделяющих переменных совпадают с их значением в ходе одного из устойчивых состояний этого столбца aj, то в клетке (aj,si) записывается код этого устойчивого состояния
В противном случае в клетке проставляется произвольный код, т.к в это состояние схема не попадает. Будет проставляться код: значение разделяющих переменных совпадают с их значением в коде строки, остальные переменные равны 0. Такой способ кодирования обеспечивает получение простых функций.
-
S
Y1y2y3y4
x
0
1
1
0001
(0001)
0101
2
0000
0001
(0000)
3
0101
0110
(0101)
4
0110
(0110)
1010
5
1000
(1000)
0000
6
1010
1000
(1010)
7
1011
1000
(1011)
8
0010
0001
1010
9
0011
0001
1011
10
0100
0110
0000
11
0111
0110
1011
12
1001
1000
0101
13
1100
1100
0000
14
1101
1100
0101
15
1110
1100
1010
16
1111
1100
1011
Осуществляется минимизация ФАЛ. В данном методе удобно использовать минимизацию по столбцам, а именно фиксируем Х и строим карту карно для 4-х переменных
Достоинства метода:
Не требует анализ схемы на состязания
Дает упрощение функций
Метод удобен для программной реализации
Недостоинства: имеет большую избыточность по числу реле.