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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

25
S
Ο
w
i
→ S при условии, что производится замена всех
вхождений w
i
в цепочку
Правила преобразо-
ваний
Т1 S
1
+S
2
→ S
2
+ S
1
Т2 S
1
+ (S
2
+ S
3
) → (S
1
+ S
2
) + S
3
Т3 (S
1
+ S
2
) + S
3
→ [S
1
+ (S
2
+ S
3
)]
T4 S
1
→ (S
1
+ S
2
) – S
2
T5 (S
1
– S
2
) + S
3
→ (S
1
+ S
3
) – S
2
T6 (S
1
+ S
2
) – S
3
→ (S
1
– S
3
) + S
2
T7 S
1
*S
2
→ S
2
* S
1
T8 S
1
*(S
2
сл S
3
) → S
1
*S
2
сл S
1
* S
3
T9 S
1
*S
2
сл S
1
* S
3
→ S
1
*(S
2
сл S
3
)
T10 (S
1
+ S
2
) – S
2
→ S
1
Правила этой грамматики можно с тем же успехом назвать правилами
вывода для алгебраических преобразований или операторами задачи в про-
странстве состояний. Вообще, имея задачу в пространстве состояний, можно
построить правила, определяющие состояния и операции на них. В обще случае
потребуются правила преобразований, как в вышеприведенной таблице. Отсю-
да заключаем, что
любую задачу, допускающую представление в пространстве
состояний, можно связать с языком типа 0 и, значит, решить с помощью про-
граммы, которая, подобно машине Тьюринга, имеет неограниченный доступ к
принципиально бесконечному участку динамической памяти. Второй основной
вывод формальной лингвистики состоит в следующем:
Любой язык, порождаемый грамматикой типа 0, рекурсивно перечислим.
В настоящее время
общепринято, что естественные языки не могут поро-
ждаться менее мощной грамматикой, чем грамматики типа 0. Необходимость в
грамматике типа 0 показать легко. Томас указывает, что в английском языке
требуется правило 
                       SΟ wi → S при условии, что производится замена всех
                       вхождений wi в цепочку
Правила преобразо-
ваний

                       Т1 S1 +S2 → S2 + S1
                       Т2 S1 + (S2 + S3) → (S1 + S2) + S3
                       Т3 (S1 + S2) + S3 → [S1 + (S2 + S3)]
                       T4 S1 → (S1 + S2) – S2
                       T5 (S1 – S2) + S3 → (S1 + S3) – S2
                       T6 (S1 + S2) – S3 → (S1 – S3) + S2
                       T7 S1*S2 → S2* S1
                       T8 S1*(S2 сл S3) → S1*S2 сл S1* S3
                       T9 S1*S2 сл S1* S3 → S1*(S2 сл S3)
                       T10 (S1 + S2) – S2 → S1


        Правила этой грамматики можно с тем же успехом назвать правилами
вывода для алгебраических преобразований или операторами задачи в про-
странстве состояний. Вообще, имея задачу в пространстве состояний, можно
построить правила, определяющие состояния и операции на них. В обще случае
потребуются правила преобразований, как в вышеприведенной таблице. Отсю-
да заключаем, что любую задачу, допускающую представление в пространстве
состояний, можно связать с языком типа 0 и, значит, решить с помощью про-
граммы, которая, подобно машине Тьюринга, имеет неограниченный доступ к
принципиально бесконечному участку динамической памяти. Второй основной
вывод формальной лингвистики состоит в следующем:
        Любой язык, порождаемый грамматикой типа 0, рекурсивно перечислим.
        В настоящее время общепринято, что естественные языки не могут поро-
ждаться менее мощной грамматикой, чем грамматики типа 0. Необходимость в
грамматике типа 0 показать легко. Томас указывает, что в английском языке
требуется правило


                                                                             25

Страницы