- •1.Строки.Префиксы, суффиксы, подстроки. Языки.
- •2. Форма Бэкуса-Наура. Дерево вывода. Синтакс-е и семан-е деревья.
- •3.Контексная гр-ка
- •4. Контексно-свободная гр-ка(кс/г).
- •5. Регулярные языки.
- •7.Пораждающие гр-ки. Виды, примеры.
- •8. Классификация языков по Хомскому. Примеры.
- •9. Регулярные гр-ки и конечный ав-т.
- •11.Авт-ты и теория алгоритмов.
- •10.Распознование мн-в ав-ми.
- •12.Распознователи –задачи, виды распоз-лей.
- •13.Машина Тьюринга. Вычисление функций мт-га.
- •14.Магазинный автомат(мп).Определение, структура, задание ав-та.
- •15.Детермин-й мп ав-т. Распознование цепочек.
- •16.Сеть Петри. События и условия. Маркировка. Переходы. Граф достижимых маркировок сп.
- •17.Классификация сетей Петри. Применение сп в теории ав-в.
- •1.Сеть Мерлина
- •2.Однозначные(е-сети).
- •18.Эквивалентность авт-в
- •19.Минимизация абстр-х ав-ов(методы и примеры).
- •20. Соединения ав-ов: последовательное, парал-ое, с обр.Связью.
- •21.Сеть ав-ов.
- •25. Синтез абст-х ав-ов:исключение недост-х сост-й, минимизация.
20. Соединения ав-ов: последовательное, парал-ое, с обр.Связью.
Ав-ты м/т соединяться др.с др-м, образуя более сложные устр-ва. Сущ-т 3 вида соединения: последовательное, парал-ое, с обр.связью.
1.парал-ое соед-е.
Н/о найти эквив-й автоматSэ, зная описание каж-го из ав-в и схемы φ, вырабат-щей выходной сигнал.
S1=(А1, z,w1,δ1,λ1, a01)
S2=(А2, z,w2,δ2,λ2, a02)
φ! SЭ=(А, z,w,δ,λ, a0)-?
А=А1*А2(А1:а11 а12, А2:а21 а22 )= а11 а21, а11 а22, а12 а11, а12 а22. схема φ явл-ся комбинац-й и сост-й не пораждает.
Пр-р построения Sэ.
α/S1 |
а11 |
а21 |
а31 |
Z1 |
а11/w'1 |
а21/w'2 |
а31/w'2 |
Z2 |
а31/w'1 |
а31/w'1 |
а21/w'1 |
β/S2 |
а12 |
а22 |
Z1 |
а12/w''1 |
а22/w''2 |
Z2 |
а22/w''2 |
а12/w''1 |
φ |
w'1 |
w'2 |
w''1 |
w1 |
w2 |
w''2 |
w2 |
w3 |
Состояния Sэ: а11 а21=а1, а11 а22=а2, а21 а12=а3, а21 а22=а4, а31 а12=а5, а31 а22=а6.
SЭ |
а1 |
а2 |
а3 |
а4 |
а5 |
а6 |
Z1 |
а11а12/w1=а1/w1 |
|
|
|
|
|
Z2 |
|
|
|
а31а12/w1=а5/w1 |
|
|
2.Последовательное соединение.
S1=(А1, z1,w1,δ1,λ1, a01)
S2=(А2, z2,w2,δ2,λ2, a02)
А=А1*А2
Z2=w1 и w=w2
α/S1 |
а11 |
а21 |
а31 |
Z1 |
а11/w'1 |
а21/w'2 |
а31/w'2 |
Z2 |
а31/w'1 |
а31/w'1 |
а21/w'1 |
β/S2 |
а12 |
а22 |
w'1 |
а12/w''1 |
а22/w''2 |
w'2 |
а22/w''2 |
а12/w''1 |
Состояния Sэ: а11 а21=а1, а11 а22=а2, а21 а12=а3, а21 а22=а4, а31 а12=а5, а31 а22=а6.
а6=а31 а22, а31/z2=(а21/ w'1)* а22: а21 а22/w''2= а4/w''2
SЭ |
а1 |
а2 |
а3 |
а4 |
а5 |
а6 |
Z1 |
|
|
|
|
|
|
Z2 |
|
|
|
|
|
а21 а22/w''2= а4/w''2 |
3.Соединение с обр-й связью.
S1 |
а11 |
а21 |
а31 |
р1 |
а31/w''1 |
а21/w''2 |
а21/w''1 |
р2 |
а21/w''3 |
а11/w''1 |
а11/w''2 |
S2 |
w'1 |
w'2 |
|
а12 |
а22 |
у1= w''1 |
а12 |
а22 |
у2= w''2 |
а22 |
а22 |
у3= w''3 |
а12 |
а12 |
γ |
z1 |
z2 |
z3 |
w'1 |
p1 |
p1 |
p1 |
w'2 |
p2 |
p2 |
p1 |
Sэ: а11 а12=а1, а11 а22=а2, а21 а12=а3, а21 а22=а4, а31 а12=а5, а31 а22=а6.
Хотя бы 1н из ав-т долж.быть ав-м Мура( в дан. Сл-е ав-т S2 явл-ся ав.Мура).
SЭ |
а1 |
а2 |
а3 |
а4 |
а5 |
а6 |
Z1 |
|
|
|
|
а21а12/ w''1= а3/ w''1 |
|
Z2 |
|
|
а21а22/ w''2= а4/ w''2 |
|
|
|
Z3 |
|
|
|
|
|
|
Если ав-т нах-ся в сост-ии а5,т.е.S1 в сост-ии а31, а S2 в сост-ии а12.S2 в сост-ии а12 выраб-т сигнал w1'кот-й поступает на 2й вход элемента γ. На 1й вход элем-а γ пост-т вход.сигнал из мн-ва z, пусть б/т z1, тогда по таблице γ находим что по z1 и w1'выраб-ся сиг-л р1, кот-й поступ-т на вход ав-та S1. По условию ав-т S1 нах-ся в сост-ии а31. под дейст-м р1 он переходит в а21, выраб-вая при этом w1",кот-й явл-ся одновременно и выходным сиг-м эквив-го ав-та и входным для S2. Ав-т S2, находясь по умолчанию в сост-ии а12 под дейс-м w1" переходит в а12. на этом реакция на дан.вход.сигнал заканч-ся. Окончательно из а5 под дейс-м z1 ав-т переходит в а3 с выроботкой w1".