Файл: Курсовая работа по дисциплине Теория конечных автоматов.docx

ВУЗ: Не указан

Категория: Курсовая работа

Дисциплина: Не указана

Добавлен: 04.12.2023

Просмотров: 206

Скачиваний: 3

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Таблица 3.6 Открыть Шр3. Сигнал X22 включает ДШр3(Y7), состояние Шр3(X23) меняется на открытое.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q5

1

0

1

0

1

1

1

1

0

0

0

0

0

0

0

0

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













10

1

1

1

1

0

1

1

0

0

1

1

1

0

0













Таблица 3.7 Открыть Шр4. Сигнал X23 включает ДШр4(Y6), состояние Шр4(X24) меняется на открытое.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q6

1

0

1

0

1

1

1

1

0

0

0

0

0

0

0

0

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













10

1

1

1

1

1

1

1

0

0

1

1

1

1

0














Таблица 3.8 Датчики Мн1-Мо1 меняют свое состояние из-за наличия материала на Тк1. (X9, X10)

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q7

1

0

1

0

1

1

1

1

1

1

0

0

0

0

0

0

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













10

1

1

1

1

1

1

1

0

0

1

1

1

1

0













Таблица 3.9 Датчики Мн2-Мо2 меняют свое состояние из-за наличия материала на Тк2. (X15, X16).

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q8

1

0

1

0

1

1

1

1

1

1

1

1

0

0

0

0

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













10

1

1

1

1

1

1

1

0

0

1

1

1

1

0














Таблица 3.10 Датчики Мн3-Мо3 меняют свое состояние из-за наличия материала на Тк3. (X13, X14). Y3 Включается.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q9

1

0

1

0

1

1

1

1

1

1

1

1

1

1

0

0

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













1

1

1

1

1

1

1

1

1

0

1

1

1

1

0














Таблица 3.11 Датчики Мн4-Мо4 меняют свое состояние из-за наличия материала на Тк4. (X15, X16). Y4 Включается. Транспортная система теперь находится в динамическом состоянии. Выход КА Z = 1.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q10

1

0

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













1

1

1

1

1

1

1

1

1

1

1

1

1

1

1













Таблица 3.12 Пополнение выше уровня
Uпн1. После преодоления нижнего уровня в БМп1 сигнал X1 меняется.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q11

0

0

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













1

1

1

1

1

1

1

1

1

1

1

1

1

1

1













Таблица 3.13 Пополнение выше уровня Uпв1. После преодоления верхнего уровня в БМп1 сигнал X2 меняется.

C

X1

X2

X3

X4

X5

X6

X7

X8

X9

X 10

X 11

X 12

X 13

X 14

X 15

X 16

X 17

X 18

q12

0

1

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

1

X 19

X 20

X 21

X 22

X 23

X 24

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Z













1

1

1

1

1

1

1

1

1

1

1

1

1

1

1