Методы искусственного интеллекта для машинного перевода текстов. Роганов В.Р - 19 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

19
(*) (p
1
, x
1
... x
k
w,
α
1
) |— (p
2
, x
2
... x
k
w,
α
2
)|— ...|—(p
k+1
, w,
α
k+1
),
мы будем говорить, что (p, x
1
... x
k
w,
α
) (q, w,
β
) реализуется с помощью (*).
Упорядоченная тройка (p, w,
α
) (называемая конфигурацией) является за-
писью того факта, что МП–автомат находится в состоянии p, в его магазинной
памяти записана цепочка
α
, его входная цепочка есть w. Запись (p,x w
, α
Z) |—
(q, w,
αγ
) означает, что автомат, находясь в состоянии p и имея Z в качестве са-
мого правого символа в магазинной памяти, переходит в состояние q, заменяет
символ Z на цепочку
γ
и стирает x, где x — либо самый левый входной символ,
либо
ε
. Запись (p, x
1
... x
k
w, α) (q, w,
β
) означает, что МП–автомат, находясь
в состоянии p и имея x
1
... x
k
w в качестве входной цепочки и цепочку
α
в мага-
зинной памяти, через несколько тактов работы переходит в состояние q, имеет
в магазинной памяти цепочку
β
и на входе — цепочку w.
Такт работы МП–автомата (p,x
1
w,
α
Z) |— (q, w,
αγ
) может быть проиллю-
стрирован следующим образом. На рисунке (а) МП–автомат изображен в кон-
фигурации (p, x
1
w,
α
Z), x
1
Σ ∪ {
ε
}, Z
0
∈
Γ
. На рис. (б) изображен МП–автомат
после выполнения указанного такта.
Рис.2. Работа автомата с магазинной памятью 
             (*) (p1, x1 ... xkw, α1) |— (p2, x2 ... xk w, α2)|— ...|—(pk+1, w, αk+1),

мы будем говорить, что (p, x1 ... xkw, α)        (q, w, β) реализуется с помощью (*).
      Упорядоченная тройка (p, w, α) (называемая конфигурацией) является за-
писью того факта, что МП–автомат находится в состоянии p, в его магазинной
памяти записана цепочка α, его входная цепочка есть w. Запись (p,x w, αZ) |—
(q, w, αγ) означает, что автомат, находясь в состоянии p и имея Z в качестве са-
мого правого символа в магазинной памяти, переходит в состояние q, заменяет
символ Z на цепочку γ и стирает x, где x — либо самый левый входной символ,

либо ε. Запись (p, x1 ... xkw, α)      (q, w, β) означает, что МП–автомат, находясь
в состоянии p и имея x1 ... xkw в качестве входной цепочки и цепочку α в мага-
зинной памяти, через несколько тактов работы переходит в состояние q, имеет
в магазинной памяти цепочку β и на входе — цепочку w.
      Такт работы МП–автомата (p,x1 w, αZ) |— (q, w, αγ) может быть проиллю-
стрирован следующим образом. На рисунке (а) МП–автомат изображен в кон-
фигурации (p, x1w, αZ), x1Σ ∪ {ε}, Z0 ∈ Γ. На рис. (б) изображен МП–автомат
после выполнения указанного такта.




                      Рис.2. Работа автомата с магазинной памятью

                                                                                         19

Страницы