Кіріспе

Көбейтілген өтпелі желі немесе АТН – формалды тілдердің операциялық анықтамасында қолданылатын, әсіресе күрделі табиғи тілдерді талдау үшін және жасанды интеллектте кеңінен қолданылатын графтық теориялық құрылымның бір түрі. АТН, теориялық тұрғыдан, кез келген сөйлемнің құрылымын, оның күрделілігіне қарамастан, талдай алады. АТН – бұл өзгертілген өтпелі желілер және RTN-нің кеңейтілген түрі. АТН сөйлемдерді талдау үшін шекті күйдегі машиналарды (Марков моделі) пайдалану идеясына негізделген. В. А. Вудс «Табиғи тілді талдау үшін өтпелі желілік грамматикалар» еңбегінде шекті күй моделіне рекурсивті механизм қосу арқылы талдауды әлдеқайда тиімді етуге болады деп мәлімдейді. Нақты бір сөйлем үшін автомат құрудың орнына, өтпелі графиктің жиынтығы құрастырылады. Грамматикалық дұрыс сөйлем кез келген күй графигінде соңғы күйге жету арқылы талданады. Бұл графиктің арасындағы өтулер – желідегі кез келген графиктің кез келген бастапқы күйіне бір күйден жасалатын қосалқы шақырулар. Егер сөйлемнің соңғы сөзі соңғы күйге жетсе, сөйлем грамматикалық тұрғыдан дұрыс деп танылады. Бұл модель тілдің табиғатымен қойылған көптеген мақсаттарға сай келеді, себебі ол тілдің заңдылықтарын қамтиды. Яғни, егер бірнеше жағдайда орындалатын процесс болса, грамматика осы процесті бір құрылымда бейнелеуі керек. Мұндай бейнелеу грамматиканы оңайлатумен қатар, жұмыстың тиімділігін де арттырады. Мұндай модельдің тағы бір артықшылығы – шешімдерді кейінге қалдыру мүмкіндігі. Көптеген грамматикалар түсініксіздік туғанда болжам жасауға көшеді. Бұл сөйлем туралы әлі жеткілікті мәлімет жоқ екенін білдіреді. Рекурсияны пайдалану арқылы АТН сөйлем туралы толыққанды мәлімет алғанға дейін шешімдерді кейінге қалдыру арқылы осы тиімсіздікті шешеді.