Стр. 77 - Информационные структуры и их преобразование

Содержание 75
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ ПРЕОБРАЗОВАНИЕ
Любое арифметическое выражение может содержать любое количество
операторов - + - - + + - - а - + - - а, то есть ошибки при трансляции не будет.
Транслятор сделает так, чтобы выдавался один оператор. Это происходит
следующим образом.
Количество состояний:
Σ {+, -, а}.
∆ {+, -, а}.
Функцию отношения зададим диаграммой:
Для первого идентификатора, Для оставшихся идентификаторов так
как не ставим знак «+»;
(a + a - a) = итог.
(q0 ,- + - - + - a + - - a + + - - - +a,e)|→ (q1, + - - + - a + - - a + + - - - +a,e)|
|→
(q1 , - - + - a + - - a + + - - - +a,e) |→ (q0 , - + - a + - - a + + - - - +a,e) |→
(q1 , + - a + - - a + + - - - +a,e) |→ (q1,- a + - - a + + - - - +a,e) |→
(q0 ,a + - - a + + - - - +a,e) |→ (q2,+ - - a + + - - - +a,a) |→
(q3 ,- - a + + - - - +a, a) |→ (q4 ,- a + + - - - + a, a) |→
(q3 ,a + + - - - +a, a+a) |→ (q2,+ + - - - +a, a+a) |→
(q3 ,+ - - - +a, a+a) |→ (q3,- - - +a, a+a) |→
(q4 ,- - +a, a+a) |→ (q3 , - +a, a+a) |→
(q4 ,+a, a+a) |→ (q4,a, a+a) |→ (q2 ,e, a+a-a)
Конечный преобразователь назовем детерминированным , если:
∀q ∈ Q, |δ(q,a)| ≤ 1, где |δ(q,a)|- мощность;
δ (q,e)=0.








−
+
∈
− −
+
=
торов идентифика остальных для " //"
4q
торов идентифика остальных для " //"
3q
состояние ьное заключител // F 2q
"" генерирует , количество подсчитать нужно то ,"" идет если //
1q
состояние начальное ," ет" //генериру
0q
Q
q1 q4
q2 q3 q0
+ / e
+ / e
a / a + / e
a / +a
- / e - / e
a / - a - / e
- / e - / e
+ / e
a / - a
- / e
+ / e
+ / e