Рациональные отношения, дополнение которых рационально
Аннотация
Иванов. А. С. РАЦИОНАЛЬНЫЕ ОТНОШЕНИЯ, ДОПОЛНЕНИЕ КОТОРЫХ РАЦИОНАЛЬНО, выпускная квалификационная работа, стр. 16,
рис. 5, библ. 5. назв.
Ключевые слова: рациональные отношения, трансдьюсеры, дополнение рационального отношения.
Объект исследования – рациональные отношения, дополнение которых
рационально.
Цель работы – описать класс рациональных отношений, дополнение
которых рационально.
Было показано, что если рациональное отношение является декартовым произведением двух рациональных языков, то дополнение этого рационального отношения также будет рационально. В ходе работы было предложено рассматривать соответствующие рациональным отношениям трансдьюсеры как автоматы над парами букв и дополнительными нулевыми состояниями. Также был рассмотрен пример рационального отношения, дополнение которого не совпадало с построенным при помощи предложенной конструкции трансдьюсером. Была выдвинута гипотеза о том, что если дополнение рационального отношения не совпадает с трансдьюсером дополнения, построенным по предложенным правилам, то дополнение этого рационального отношения рационально не будет.
Результаты исследований представлены в виде лемм и утверждений с
доказательствами.
рис. 5, библ. 5. назв.
Ключевые слова: рациональные отношения, трансдьюсеры, дополнение рационального отношения.
Объект исследования – рациональные отношения, дополнение которых
рационально.
Цель работы – описать класс рациональных отношений, дополнение
которых рационально.
Было показано, что если рациональное отношение является декартовым произведением двух рациональных языков, то дополнение этого рационального отношения также будет рационально. В ходе работы было предложено рассматривать соответствующие рациональным отношениям трансдьюсеры как автоматы над парами букв и дополнительными нулевыми состояниями. Также был рассмотрен пример рационального отношения, дополнение которого не совпадало с построенным при помощи предложенной конструкции трансдьюсером. Была выдвинута гипотеза о том, что если дополнение рационального отношения не совпадает с трансдьюсером дополнения, построенным по предложенным правилам, то дополнение этого рационального отношения рационально не будет.
Результаты исследований представлены в виде лемм и утверждений с
доказательствами.