|
85 состоит в том, чтобы при данных непроизводных элементах и предикатах построить грамматику, которая является некоторым приближением заданного множества структур. В существующих подходах выделяют следующую общую совокупность правил восстановления грамматики: 1) в каждом объекте выявляют всю структуру, определяемую заданными непроизводными элементами и предикатами. Если один или более предикатов оказываются истинными, введением некоторого правила подстановки строится объект, который отражает только некоторые свойства объекта. Такая процедура используется для построения структур для части непроизводных элементов. Повторяется до тех пор, пока не исчерпается возможность построить что-либо новое; 2) по окончании процесса построения подобъектов проверяют, какие из них имеют в качестве составных частей все непроизводные элементы. Все подобъекты, которые оказались вне этого множества или не являются составными частями его элементов, исключаются из рассмотрения; 3) всеми возможными способами формируется грамматика G, выбранная для моделирования Хп; 4) полученная грамматика модифицируется в соответствии со следующими правилами: а) из G исключаются все многократные вхождения какого-либо правила подстановки, кроме одного; б) ищется такая пара переменных, что однородная подстановка одной вместо другой по всей грамматике G приводит к появлению многократных вхождений каких-либо правил подстановки. После проведения такой подстановки снова применяется правило а); в) ищется такая пара (А, а}, при которой добавление правила подстановки А и некоторое выборочное его применение приводят к появлению многократных вхождений правил подстановки. Далее опять |
94 t' Jo X1 выделить следующую общую совокупность правил восстановления грамматики: 1) в каждом объекте выявляют всю структуру, определяемую заданными непроизводными элементами и предикатами. Если один или более предикатов оказываются истинными, введением некоторого правила подстановки строится объект (подобраз), который отражает только некоторые свойства объекта (образа). Такая процедура используется для построения структур для части непроизводных элементов. Повторяется до тех пор, пока не исчерпается возможность построить что-либо новое; 2) по окончании процесса построения подобразов проверяют, какие из них имеют в качестве составных частей все непроизводные элементы. Все подобразы, которые оказались вне этого множества или не являются составными частями его элементов, исключаются из рассмотрения; 3) всеми возможными способами формируется грамматика G, выбранная для описания изображения Хп; 4) полученная грамматика модифицируется в соответствии со следующими правилами: а) из G исключаются все многократные вхождения какого-либо правила подстановки, кроме одного; б) ищется такая пара переменных, что однородная подстановка одной вместо другой по всей грамматике G приводит к появлению многократных вхождений каких-либо правил подстановки. После проведения такой подстановки снова применяется правило а); в) ищется такая пара (А, а}, при которой добавление правила подстановки А -> а и некоторое выборочное его применение приводят к появлению многократных вхождений правил подстановки. Далее опять применяется правило а). В этой процедуре применяются еще два правила, которые позволяют произвести преобразования на множестве непроизводных элементов и предикатов, что объединяет несколько правил подстановки в одно. |