Неотличимость конечных автоматов, взаимодействующих со средой тема автореферата и диссертации по математике, 01.01.09 ВАК РФ

Курганский, Алексей Николаевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Саратов МЕСТО ЗАЩИТЫ
1997 ГОД ЗАЩИТЫ
   
01.01.09 КОД ВАК РФ
Автореферат по математике на тему «Неотличимость конечных автоматов, взаимодействующих со средой»
 
Автореферат диссертации на тему "Неотличимость конечных автоматов, взаимодействующих со средой"

Саратовский Государственный университет им. Н.Г.Чериышевскогс

г ОД

V На правах рукописи

КУРГАНСКИЙ Алексей Николаевич

НЕОТЛИЧИМОСТЬ КОНЕЧНЫХ АВТОМАТ!)В, ВЗАИМОДЕЙСТВУЮЩИХ СО СРЕДОЙ

01.01.09 - математическая кибернетика

Автореферат

диссертации па соискание у меной степени кандидата физико-математических наук

Саратов - 1997

Работа выполнена в Институте прикладной математики и механик

ПАИ Украшши

Научные руководители - доктор технических наук,

профессор Д.В.Сперанский кандидат физико-математических наук, старший научный сотрудник И.С.Груиский

Официальные оппоненты - доктор технических наук,

профессор, академик РАЕН В.А.Твердохлсбов кандидат физико-математических наук, доцепт В.В.Псчснкин

Ведущая организация - Институт проблем управления РАН

Защита состоится "_"_ 199_ года в _ часов на заседании специализированного Совета К 063.74.04 в Саратовском государственном университете им. Н.Г.Че.рнышеискогс (410071, Саратов, ул.Асграханская, 83).

С диссертацией можно ознакомится в Научной библиотеке Саратовского государственного университета.

Автореферат разослал "__"____199_года.

Ученый секретарь специализированного Совета, кандидат физико-математических наук, доцент

П.Ф. Недорезо]

Общая характеристика работы.

Актуальность работы. Конечные автоматы являются одним из главных объектов математической кибернетики. Они возникли как модели преобразователей дискретной информации, т.е. как модели взаимодействующие со средой — источником и получателем этой информации [5]. Автоматы в лабиринте [6], модель ЭВМ в виде взаимодействующих управляющего автомата и операционной среды [1], схема автоматов с выделенной, компонентой [4], автоматы, взаимодействующие через каналы связи [9] и, наконец, машины Тьюринга являются примерами такого взаимодействия.

Задача сравнения автоматов но поведению — одна из основных в теории автоматов. В случае, когда в качестве среды выступает экспериментатор, она в основном решена Муром [8]. Им рассматривалась задача сравнения автоматов простыми и кратными экспериментами. Более тонкое изучение неотличимости экспериментами проведено в [3]. Однако, в модели автомат-среда до сих пор изучалось в основном то, что может сделать автомат, и о проблеме неотличимости автоматов в среде известно не много. В работе [2] рассматривалась задача неотличимости автоматов по вход-выходным словам, порождаемым ими при взаимодействии с геометрическими средами без дыр: прямоугольниками фиксированной высоты, неограниченной высоты и их композициями. Доказано, что множества вход-выходных слов, порождаемых автоматами при взаимодействии с этими средами, является, в общем случае, контекстно-чувствительнными языками, т.е. задача неотличимости оказывается принципиально трудной и, возможно, алгоритмически неразрешимой. Для прямоугольников фиксированной высоты показано, что она разрешима.

В настоящей работе впервые введено отношение неотличи-

мости автоматов по вход-выходным словам, вырабатываемым ими при взаимодействии с одиой и той же средой. При этом в качестве среды выбран, возможно бесконечный и частичный, детерминированный автомат Мура. К такой модели среды сводятся многие ситуации и, в том числе, приведенные выше. Введенное отношение исследовалось в качественном и алгоритмическом аспектах. Качественный аспект рассмотрен по аналогии с подходами в [8,3]. Для исследования алгоритмической разрешимости проблемы неотличимости разработаны оригинальные методы.

Цель работы. Исследовать дескриптивные и алшритмиче-скис аспекты проблемы неотличимости автоматов, взаимодействующих с одной и той же средой: исследовать свойств» ограничений, вводимых средой; свойства ограниченного поведения автоматов; свойства класса автоматов, неотличимых относительно сред; исследовать алгоритмическую разрешимость проверки неотличимости автоматов.

Методы исследований. В работе используются как известные, так и разработанные автором, методы теории графов, автоматов, формальных языков и алгоритмов.

Научная новизна. В работе полностью охарактеризованы ограничения на множество вход-выходных слов автомата, вводимые средой, а именно:

~ найдены критерии (необходимые и достаточные условия), когда произвольное множество слов является ограничением, порождаемым некоторой средой.

Исследованы качественные свойства класса автоматов неотличимых относительно одной и той же среды, а именно:

- получены критерии его бесконечности, конечности и одно-элементности;

- дан критерий минимальности автомата в классе неотличи-

мости.

При исследовании алгоритмической разрешимости проблемы неотличимости автоматов в среде получены следующие результаты:

- введено преобразование сред и найдены достаточные условия, при которых это преобразование переводит эффективную среду (т.е. среду, относительно которой проблема проверки неотличимости автоматов алгоритмически разрешима) в эффективную; это преобразование, в частности, охватывает композицию прямоугольных сред в [2].

~ предложен метод задания некоторых сред формулами в виде формальных языков; для таких сред найден критерий эффективности и найдены достаточные условия конструктивной проверки этого критерия; в частности, если формула среды представляет собой контекстно-свободный язык, то среда — эффективная;

- с помощью вышеуказанного преобразования, примененного к средам, задаваемым формулами, доказана эффективность различных классов «-мерных геометрических сред с дырами и без дыр; среди них есть классы 2-мерных геометрических сред как неограниченных по одной координате, так и неограниченных по всем координатам; в частности, новым методом доказана эффективность прямоугольников фиксированной высоты без дыр, рассмотренных

в [2];

- найдены неэффективные классы прямоугольников;

- доказано, что всякий класс геометрических сред, содержащий неэффективный подкласс прямоугольников, неэффективен.

Заметим, что преобразование сред представляется мощным средством, позволяющим решать различные задачи теории автоматов.

Найденные эффективные среды представляют интерес также с точки зрения теории формальных языков, поскольку описывают

частный случай контекстно-чувствительных языков, для которых, в отличие от общего случая, проблема их равенства алгоритмически разрешима.

Теоретическая и практическая ценность. Работа носит теоретический характер, однако полученные в ней результаты могут иметь прикладное значение в силу тесной связи задач взаимодействия автоматов с геометрическими средами с задачами автоматного анализа изображений, графов, формальных языков и других дискретных систем [б].

Апробация. Результаты диссертации докладывались на школе-семинаре "Интеллектуальные системы" (Краскопидово, 1993 на II Украинской конференции по автоматическому управлению "Автоматика,-95" (Львов,1995), на XJ Международной конференции но проблемам теоретической кибернетики (УльяновскД996), па международной конференции "Интеллектуальные системы и компьютерные науки" (Москва,1996), на семинарах но теории управляющих систем ИПММ HAH Украины, в Саратовском и Донецком университетах.

Публикации. По теме диссертации автором опубликовало 4 работы (2 работы в соавторстве с И.С.Грунским). Список приводится в конце автореферата.

Структура и объем диссертации. Диссертация состоит из введения, трех глав и списка литературы 31 наименования. Общий объем диссертации 102 страницы.

Обзор содержания диссертации.

Диссертация состоит из введения и двух глав. Во введении дана общая характеристика и приведены основные результаты работы.

В первой главе рассматриваются дескриптивные аспекты поведения взаимодействующих автомата и среды. Рассматриваются свойства: неограниченного во времепи взаимодействия; ограничений, накладываемых средой на поведение автомата; отношения неотличимости автоматов, взаимодействующих с одной и той же средой. Основное внимание уделяется качественным свойствам взаимодействия.

В разделе 1.1 введены основные понятия. Под автоматом А ~ (Зл,Х,Г,6А,ЛА) понимается конечный детерминированный всюду определенный приведенный автомат Мили, где Я/,, X, У — множества, состояний, входных и выходных символов соответственно; 6д : х X —у <5д, : Бл х X У — функции переходов и выходов соответственно. Через обозначается множество всех вход-выходных слов, порожденных состоянием а автомата, а через А'ь — сужение этого множества на слова длины г.

Под средой понимается произвольный, возможно бесконечный (счетный) я частичный, детерминированный автомат Мура

где В,к — множество его состояния (вершин среды), V — входной алфавит, V — выходной алфавит (отметки вершин), В Лд(г, и) переменная и фиктивна, что позволяет применять запись Ае(г). Данное определение среды позволяет охватить широкий спектр сред (лента машины Тьюринга, геометрическая среда [6], операционная среда [1], часть схемы [4] и т.п.). Пусть Е„(Е) — множество всех таких пар (и, и) £ V х Г/, что для всех г € Яе с отметкой v значение ¿¿-(г, и) определено. Тогда Н(£') = и ЕЬ(Е).

Далее множества состояний автоматов всегда обозначаются символом Б с нижним индексом — именем автомата, а множество вершин сред — символом И с нижним индексом ■— именем среды.

Автомат и среда взаимодействуют между собой так, что выходной сигнал каждого из них совпадает с входным сигналом другого в каждый момент времени. Взаимодействие определяет автономный автомат Мили АЕ — (Зд х Re, z, Vr х Y, 6АЕ, Хае)-, где z — единственный входной сигнал, а

<W(-S »')>«) = А/.;(>')), <5 /Дг, АД*, Ajj(r)))),

Пары [s,r]> где s 6 S&, г G Д/?, называются конфигурациями автомата Л и среды Конфигурация [s,r] называется тупиком, если одно из значений 8ае(('ь г), z) или г), .г) но определено. Траекторией длииы г взаимодействия автомата А и среды 25, начинающейся конфигурацией [я, г], называется последовательность Тг •= [si, rj][s2, ?"2] • • •[в«>}*г]> Где l] = [5, г] и fi/t/iii-Sj, rf), z) — (s;+j, r\,-+j), 1 < j < i. Траектория Тг заканчивается конфигурацией js,-, ?-,•].

Автомат А и среда Е называются совместимыми, если автомат АЕ всюду определен. Критерий совместимости без труда следует прямо из определения и сформулировал в теореме 1.1.1. Для совместимых автомата и среды не ограничивая общности полагаем, что входной и выходной алфавиты среды совпадают с выходным и входным алфавитами автомата соответственно. Среду назовем правильной, если существует совместимый с ней автомат. Следствие 1.1.1 Среда Е является правильной в том и только том случае, если ее функция Ае всюду определена v БХ(Е) не пусто для каждой отметки вершин х.

Раздел 1.2 посвящен характеризации ограничений вводимых средой на множество вход-выходных слов, взаимодействующего ( ней автомата.

Зафиксируем правильную среду Е. Для совместимого с ней автомата А и состояния я £ Бд определим множество ЦазЕ всех вход-выходных слов конечной длины, порождаемых состоянием я при взаимодействии автомата и среды, т.е. ц^е = и г), г1)у

где объединение выполняется по всем г 6 Яд и натуральным г > 0. Обозначим через Ь(Е) множество всех слов (хъу\)... (.г,;, ¡л) в алфавите Е(£) гак их, что для некоторой вершины г среды Ау,;(г, у\ ... у,-) = X]... хи Множество Ь(Е) назовем ограничением, порожденным средой Е.

Теорема 1.2.1 Пусть автомат А совместим с правильной средой Е, 'тогда ¡1д0е — ^Лз П Ь(Е) для всех а 6 За-Следующая теорема дает критерий того, что произвольное множество слов Ь является ограничением, порожденным некоторой ере дой.

Теорема. 1.2.2 Пусть Ь - произвольное множество слов в алфавите X х У и 3 — Ь\. Тогда Ь является ограничением, порожденным некоторой средой, в том и только том случае, если одновременно выполняются свойства:

1. = ¡ь'

2. если 1и(х,у) £ Ь, где т £ Н+, (х,у) € Н, то ю(х1у>) С L для всех {х, у') £ Е;

У)\Ь Я: Ь для всех (ж, у) 6 В. В теореме приняты обозначения: Ь; - множество всех слов из Ь длины г, — множество всех начальных отрезков длины г

слов из ¿¿-и, (х,у)\Ь ~ множество всех слов т € 2* таких, что (х, у)ш £ Ь. В работе также найден критерий того, что Ь является ограничением, порожденным некоторой средой, выраженный через свойства множеств вход-выходных слов, порождаемых автоматами при этом ограничении (теорема 1.2.3).

В разделе 1.3 исследованы качественные свойства отношения

неотличимости автоматов относительно одной и той же среды. Получены критерии бесконечности, конечности и одноэлементности класса неотличимых автоматов. Найдено принципиальное отличие свойств поведения автоматов, ограниченных и не ограниченных средой.

Пусть А и В совместимы с Е. Обозначим через ОъАЕ и Dae множества {i^e}seSA и {j'>Asb;}scSA соответственно. Состояния s € S л и t 6 Sb называются ¿-неотличимыми (неотличимыми) относительно Б, если [ilAsf; = f.ûBiE (jhisE — /î-iî/.£')• Автоматы A ж В — ¿-неотличимы (неотличимы) относительно Е, если D\K = ОгиЕ (Dae — Еве)- Отношение ¿-неотличимости (неотличимости) автоматов о тносительно Е обозначим через ffE (,%:). При исследовании отношения Ре в работе использована методика, разработанная в [3]. Она заключается в том, что исследуемое отношение между автоматами А ж В сводится к хорошо известному отношению (например, эквивалентности) между автоматами-характеризаторамн х(А) и х{В) производными от Л и В.

Поставим в соответствие автомату А и заданному г конечный, возможно, недетерминированный автомат-характеризатор xk(A) = (Оду, X, У, Длк, Алк), множество состояний которого равно 1У'АЕ. Функция выходов Але характеризатора определяется соотношением Aa{^1aseix) = Ал(.9, х), а. функция переходов Але — соотношением лл{^лзе1 х) = {^ме\(хi v)Vase < 11ла>;}> где у — Xa(s,x). Имеет место следующий критерий ¿-неотличимости.

Следствие 1.3.1 Автоматы А и В ¡-неотличимы относительно среды E в том и только том случае, если характе-ризаторы xk(^) п Хе(^) изоморфны.

Далее рассмотрена задача анализа: по A ni построить характери-затор Хе(А), и обратная ей задача синтеза автомата В G Ре{А)

по заданному г и характеризатору \lß(A). При этом доказано следующее утверждение.

Следствие 1.3.3 Если L(E) — рекурсивное множество, то для всех i существует алгоритм решения задач анализа и синтеза..

Следующее утверждение характеризует минимальные (но числу состояний) автоматы в классе ¿-неотличимости. Теорема 1.3.1 Автомат А является минимальным в классе ß);(A) о том и только том случае, если существует изоморфизм автомата А в свой характеризатар.

Далее оценивается мощность класса '¿-неотличимости. Ядром класса ß%(A) назовем наибольший (по числу состояний) автомат, изоморфно вложи Mi.1Й во L5CC автоматы класса. Теорема 1.3.2 Класс ßß(A) бесконечен в том и только том случае, если в характеризаторс Хе(^) впе я^Ра существует цикл.

Следствие 1.3.4 Равносильны утверждения:

1. класс ßß(A) состоит, из одного элемента;

2. характсризатор совпадает со своим ядром,, т.е. dein ермипир о а an;

3. этот класс имеет\ единственный минимальный по числу состояний автомат,.

Для отношения ßf;{A) неотличимости автоматов получены утверждения (теоремы 1.3.4-1.3.6, следствие 1.3.6) аналогичные следствию 1.3.1, теоремам 1.3.1, 1.3.2 и следствию 1.3.4. Исключение составляет задача анализа, которая, как показано ниже, для ßß в общем случае алгоритмически неразрешима.

Все формулировки утверждений о свойствах классов ¿-неотличимых автоматов практически дословно совпадают с формулировками аналогичных утверждений из [3] и являются обобщени-

ями последних. Такое обобщение представляется нетривиальным, поскольку охватывает поведение автоматов, взаимодействующих с тривиальными средами, т.е. такими, что всегда ¡iAsE — Ад, (они рассмотрены в [3]) и нетривиальными средами. Теоремы о мощности класса Дв(Д) для тривиальных сред вырождаются, т.к. в [3] показано, что для тривиальной среды класс всегда состоит

из одного А. Для нетривиальных сред это не так, что показывает следующее утверждение.

Теорема 1.3.7 Пусть Е произвольная правильная среда такая, что > 2 для всех отметок х вершин. Тогда среда Е тривиальна е том и только том случае, если для любого совместимого с Е автомата А класс Дё'(Д) одноэлементен.

Оставшаяся часть работы посвящена построению сред, для которых существует алгоритм проверки неотличимости автоматов, взаимодействующих с этими средами.

В разделе 1.4 вводятся подходящие для этого понятия и доказывается сводимость проблемы неотличимости к ряду других задал.

Правильная среда Е называется эффективной, если существует алгоритм, который но любым двум совместимым с Е автоматам и их состояниям s и í соответственно проверяет неотличимость этих состояний относительно Е.

Акцептором Л,о,л называется автомат А, в котором выделены два состояния: «о ^ начальное и s\ — заключительное. называется совместимым с Е, если А совместим с Е. Конфигурация [s,r], где s € 5л, т 6 Re, акцептора Л^л и среды Е называется начальной (заключительной), если s = sq (s — Si). Если существует траектория взаимодействия и Е (необязательно совместимых), которая начинается начальной и заканчивается заключительной (тупиковой) конфигурацией, то говорится, что Aao>ai

среде Е достигает заключительного состояния (достигает тупи-а). Следуюищй результат характеризует эффективность среды с разных точек зрения. Он показывает эквивалентность ряда задач, озникающих при взаимодействии автомата и среды, что позволят проводить сведение одной задачи к другой. Теорема 1.4.1 Пусть Е — произвольная правильная среда. Равносильны утверждения:

1. Среда Е эффективная;

2. Существует алгоритм, решающим задачу анализа (по i v, Е построить Xf:(A)J;

о. Существует алгоритм, который для любого совме-тимого со средой Е акцептора проверяет, достижимость а п л ю ч и т е л ь у ¿ о г о состояния.

/¡, Существует алгоритм, который для любого акцептора проверяет достигнет ли акцептор тупика е Е или нет.

Из теоремы 1.4.1, в частности, вытекает простое утверждено.

Следствие 1.4.1 Для эффективности произвольной правильной среды Е достаточно, чтобы язык Ь{Е) был копте-'сгпно-свободным.

Сведение проблемы неотличимости к проблеме достюкимо-ти заключительного состояния является основой для оставшейся [асти работы.

Главы 2 и 3 посвящены построению эффективных сред.

В главе 2 введены преобразования сред, позволяющие строить [3 простых эффективных сред более сложные. Эти преобразования вляются мощным средством в доказательстве эффективности раз-шлных геометрических сред (глава 3).

В разделе 2.1 вводятся необходимые понятия и описываются [ростейшие преобразования, которые являются вспомогательными

для более сложных в последующих разделах.

Рассмотрим произвольный класс правильных сред

£ - {Ei}ieJ,

где I — множество индексов. Пусть среда Е равна объединению сред класса £ (под объединением сред понимается среда, полученная объединением дуг исходных сред с предварительным переобозначением вершин так, чтобы исходные среды не имели общих

вершин). Ясно, что тогда L(E) ~ U L(Ei). Класс сред £ naife/

зывается эффективным (правильным), если срода Е эффективна (правильна,). Далее класс сред и среда-, являющаяся объединением сред класса, не различаются.

Два класса сред £' и £" называются эквивалентными, если L{£') == L{£"), Из определений следует, что любая правильная среда, эквивалентная эффективной, также является эффективной (следствие 2.1.1) и любой правильный конечный класс эффективных сред является эффективным (следствие 2.1.2).

Далее в разделе введено два преобразования сред. Первое заключается в удалении из исходной среды некоторого множества дуг. Второе заключается в переименовании отметок вершин исходной среды с возможным отождествлением некоторых из них. Показала, что эти два преобразования сохраняют эффективность (теоремы 2.1.1 и 2.1.2).

В разделе 2.2 вводится преобразование вершин сред. Исследование этого преобразования проводится в последующих разделах, где найдены достаточные условия, при которых оно сохраняет эффективность.

Для преобразования необходимо задать пять объектов Е, Т Д, V, I: 1) Е является исходной средой (классом сред) с входные алфавитом Y и выходным X = ..., жп}; 2) Т представля

т собой множество \<{<п классов сред ^{г) = {7/с(г)}Ае/(:)

входным алфавитом С} и выходным Р, где 1(Г) — множество ндексов, I < г < и, <ЗЛ У = 0; 3) / — это произвольное подмножество упорядоченпых наборов индексов из 7(1) х ... х 1(п); 4) ' = {Р(г)}1<1<п, где Р(г) — произвольное подмножество отметок з Р такое, что для любого р £ Г;(г) в каждой среде из !Р'(г) сущест-ует единственная вершина с отметкой р (эта вершина называется ем лее именем р); 5) Д = {%}т<!'^<п, где 8^ -- произвольная, сюду определенная функция из Р(1) X У в Р(.]), 1 < г,^ < п. Преобразование проводится отдельно для каждого табора 6 I. При этом преобразованная среда обозначается через 'в — (7£уй,<?иУ, Р, Л,/„). Полностью выполненное ирсобтюо--анме определяет класс сред ,/ = {Л]ее/-

Пусть е ~ (к\,... ,кп) (с целью упрощения дальнейших обо-иачетгай среда 7'\(г) обозначается через I < г < п). Тогда в реде Е каждая ее вершина тЕ £ Не заменяется множеством верши среды ге(г) /'ЦО £ ^(1), где г такое, что ж,; = Ае{ге), т.е. Ье = ип X Гц, где Ау,;()>;) = ж».

Далее по следующим формулам на новом множество вер-тин определяются функции выходов А/е и переходов Ь,),,. Пусть г,те) € Р.Гг и вершина г/,; имеет отметку тогда 1) ф',гЕ) = Аи 2) 8^((г,гЕ),у) равно ■)(»•, у), г^), если € <5, и равно (<^-(г,у),<5в(г/,;,у)), если у € У, где такое, что ^ является отметкой вершины 8е(гЕ->у)- Если правая часть в но-ледней формуле не определена, то не определена и левая часть.

Далее, в зависимости от того, является ли 7 одноэлемент-ым, конечным или счетным множеством, указанное преобразова-ие названо соответственно одномерным, объединением одномер-ых и двумерным преобразованием.

Раздел 2.3 посвящен первым двум преобразованиям. Доказано, что они всегда переводят эффективную среду в эффективную (следствия 2.3.2 и 2.3.3). Доказательства этих утверждений технически сложно и заключается в том, что по произвольному акцептору, совместимому с , строится класс акцепторов В, совместимых с Е и таких, что первый акцептор при взаимодействии со средой ,/ достигнет заключительного состояния в том и только том случае, если хотя бы один акцслтор из В достигнет заключительного состояния при взаимодействии с Е.

В разделе 2.4 рассмотрено двумерное, преобразование. Найдено достаточное условие (теорема 2.4,1), при котором преобразование переводит эффективную среду и эффективную. Результат используется в разделе 3.3, где рассмотрен частный случай данного преобразования, когда указанное условие проверяется конструк тивно.

Глава. 3 посвящена построению эффективных геометрических

сред.

В разделе 3.1 предложен метод задания некоторых сред формулами в виде формальных языков. Для этих сред, названных лентами, исчерпывающим образом решена задала определения их эффективности. Исследование лент проведено независимо от основных результатов предыдущей части работы. В последующих дву* разделах с помощью преобразования лепт доказала эффективность различных классов т-мерных геометрических сред, т > 2. И, наконец, в последнем разделе приведены примеры простых, по неэф фективиьтх геометрических сред.

Конечную правильную среду Е назовем лентой, если все с< вершины можно расположить в последовательность ггг2... г к та кую, что все инцидентные в графе среды вершины в последователь ности стоят рядом, где к — число вершин данной среды. Зафик

;ируем одну из таких последовательностей гх.,. г,... гвершин гепты Е. Ленту Е назовем канонической, если 1) ее входной алфавит содержит не более трех символов, на,пример, {—1.,+1,0}, и если значения 8е(?{, — 1), ¿д(г!-, +1), ¿¿'(г;, 0) определены, то они эавны г;_ 1, г1+1, гг- соответственно, 1 < г < А;. Формулой канонирской ленты /? назовем слово А/,;(?'])Ад(г2) ... А;,;(г/;), Формулой &(£) правильной) класса канонических лепт £ пазовом множество (юрмул всех лент Е £ £. Путем сведения акцепторов, взаимодействующих с к машинам Тьюринга без записывающей головки, юкалап критерий эффективности лент.

Следствие 3,1.3 Произвольный класс каиоппчссгсих лепт £ уффектиосп в том % только том случае, если, существует глгоритм, который для любого регулярного языка М проверяет пустоту множества МпФ(£).

Гаким образом, полностью решена задача проверки эффектов юсти классов канонических лент. О частности, из утверждения следует, что ленты, заданные формулами в виде контекстно-свободных языков, эффективны.

В разделе 3.2 применен метод одномерного преобразования тент при исследовании геометрических сред. Введем необходимые тонятия.

Пуст ь Ет — т-мсрпос целочисленное пространство. Обозначим через е™ т-мериый вектор, у которого г-ая компонента равна I, все остальные равны 0,1 < I < тп. Тогда т-мерной геометрической средой называется среда О с множеством верши п На Я входным алфавитом <3 = {—+ер}1<г<т и алфавитом отметок вершин таких, что отметка каждой вершины г € Яа взаимнооднозначно указывает на то, какие из вершин г +• А принадлежат Па, где (I € ф. При этом, если г + ^ £ Яа, то ¿) — г + д,.

Размер произвольного класса 0 т-мерных геометрических

сред называется ограниченным в ¿-ой координате числом А,, ее ли для всех в € 0 и ..., 4..., 4), (г;',..., ..., 4) € имеем \г[ - г<'| < к. Пусть Т{Ь) = {0,1,...,/г.}, к е 2, к > О, Т(к],..., кт) = Т(Ь,\) х ... х Т(Лт). Тогда среда с множеством вершин Т(кх,... ,кт) называется т-мерным прямоугольником с размерами /¿|,..., кт но координатам 1,..., т соответственно. Следствие 3.2.1 Класс всем: т-мерных геометрических сред, ограниченных по произвольным т — 1 координатам, являете,}, эффективным.

Следствие 3.2.2 Класс всех гп-мерпых прямоуяолыткоа с фиксированными размерами по произвольным т —1 координатам является эффективным.

Доказательства этих утверждений проведены путем одномерного преобразования лент, заданных формулами в виде регулярных языков.

Раздел 3.3 является продолжением раздела 2,4. Благодаря удобному представлению классов лент в виде формул, появилась возможность описать частный случай двумерного преобразования сред (необязательно лент), при котором эффективность результирующей среды следует из эффект икности исходной — как и п случае одномерного преобразования. Цель данного раздела построить эффективный класс ¡тометричсских сред, доказательство эффективности которого средствами одномерной) преобразования лет невозможно.

Предварительно в разделе был найден частный случай двумерного преобразования, переводящего эффективную среду всегда в эффективную, а именно:

Теорема 3.3.1 Если среда J получена двумерным преобра зовапием эффективпой среды Е по заданным Т, V, Л, I, пръ котором Т представляет собой мнооюеетво классов лент

заданных регулярными формулами, и язык тх(/) является регулярным,, то среда J является эффективной. В теореме принято, что индексом ленты является се формула, а ■пык 7г(/) получен из множества I специальным преобразованием, шравнивающим длины слов в каждом наборе кп) £ I.

С помощью указанного преобразования в разделе доказана эффективность класса геометрических сред 'Я, каждая среда Нц хоторого задается парой целых чисел к, I, где к > Ли является нечетным числом, I > 2. При этом точка является верши-

:юй среды Ду, если 1) 1 < < к, 1 < < I, 2) - нечетное гасло, либо, если 2] — четное, то ^ = 1 или ¿'а — I- Таким образом найден эффективный класс геометрических сред, содержащий :реды со сколь угодно большими размерами но обеим координатам.

В разделе 3.4 приведен ряд примеров неэффективных геометрических сред, доказательства неэффективности которых основа-то на сведении, взаимодействующих с ними акцепторов, к счстчи-<овым машинам Тьюринга [7].

Следствие 3.4.1 Геометрическая среда с множеством, вершин 7?' является неэффективной.

Следствие 3.4.2 Произвольный класс Ч-мерных прямоугольников такой, что для любого сколь угодно большого числа з нем найдется прямоугольник с размерами превышающими это число, является неффехтивпым. Далее доказано, что всякий класс геометрических сред, содержащий неэффективный подкласс прямоугольников, является неэффективным. Из этого утверждения следуют критерии эффективности некоторых сред, например:

Следствие 3.4.6 Класс всевозможных т-мерпых геометрических сред с ограниченными размерами по координатам из заданного списка эффективен в том и только том случае,

если список содержит не менее чем m — 1 координат.

Автор выражает глубокую благодарность Игорю Сергеевич} Груискому и Дмитрию Васильевичу Сперанскому за постановку задачи и многолетнюю помощь и поддержку.

Список цитированной литературы

1. Глушков В.М., Цейтлин Г.Е., Ющенко E.J1. Алгебра, языки, про граммирование. - Киев: Наук.думка, 1989. 37бе.

2. Г ру иска я В. И. О некоторых свойствах траекторий автомата! в лабиринтах: Диссертация канд. физ.-мат. наук: 01.01.09/ АН России. МГУ. - Москва, 1995. - 190л.

3. Грунский U.C., Козловский В.А., Пономаремко Г.Г. Представление конечных автоматов фрагментами поведения. - Киев: На ук.думка, 1990. - 232с.

4. Кудрявцев В.Б. Функциональные системы. М.: Изд-во МГУ 1982. 158с.

5. Кудрявцев В.Б., Алешин C.B., Подколзим A.C. Введение в тео рию автоматов. М.:Наука, 1985. - 320с.

6. Кудрявцев В.Б., Ущумлич Ш., Килибарда Г. О поведении авто матов в лабиринтах // Дискрет, математика. -1992. - 4, вып.З

- С.3-28.

7. Минский М. Вычисления и автоматы. - М.: Мир, 1971. - 366с.

8. Мур Э.Ф. Умозрительные эксперименты с последователыюст ными машинами // Автоматы. - М.: Изд-во иностр. лит., 195G

- С.179-210.

9. Gouda M.E., Manning E.G., Yu Y.T. On the progress of communication between two finite state machines // Information and Control. - J 984. 63, Ai 3. - P.200-216.

Публикации автора по теме диссертации

1. Грунский И.С., Курганский А.Н. Неотличимость конечных автоматов, взаимодействугощих со средой // Докл. АН Украины. 1993. - ныи.П. С.31-33.

2. Грунский ИХ., Курганский Â.H. Неотличимость коисшых автоматов с ограниченным поведением // Кибернетика, и системный анализ. - 1996. -JV5. С.58 72.

3. Курганский А.Н. Об эквивалентности конечных автоматов, взаимодействующих с лабиринтами // Лвтоматяка-9П: Тезисы докл. II Украинском конференции по автоматическому управлению. - Львов, 1996. - Т 1. С. 158.

4. Курганский A.N. Эквивалентность автоматов, взаимодействующих со средой // Проблемы теор. кибернетики: Тезисы докл. XI Международной конференции. - Ульяновск, 1996. -- СЛ15.