Cтраница 3
До сих пор теории автоматов и сетей, хотя и наиболее интересные с точки зрения динамики, формализовали только часть области, и похоже, что внимание уделялось в основном алгебраическим аспектам и конечным наборам состояний. По-видимому, понимание свойств более сложных программ вовлекает нас в область бесконечных объектов и заставляет использовать несколько уровней объяснения на пути от концептуальных идей к окончательному моделированию на реальных ЭВМ. Эти уровни могут быть математически точно обоснованы, если найти правильные абстракции для представления необходимых структур. [31]
Возможно, методы теории автоматов не очень приятны для изучения, но они развивают интуицию и создают основу для получения дальнейших результатов. Основная теорема декомпозиции сначала была доказана при помощи автоматов и только после того, как справедливость ее стала очевидной, появилось алгебраическое доказательство. [32]
Теоретическое обеспечение развивается теорией автоматов, теорией электронных цепей, теориейГ колебаний, теорией автоматического регулирования и другими смежными областями. В разработке алгоритмов анализа и синтеза электронных цепей и систем достигнуты значительные результаты. На основе логических методов анализа и синтеза предложены алгоритмы, позволяющие формализовать выбор оптимальной логической структуры, осуществить проверку функционирования логической схемы и анализировать прохождение сигналов. [33]
Це тлин М. Л. Иоследаваиия по теории автоматов и моделированию биологических систем. [34]
О термине компенсация в теории автомата Изложенный выше метод компенсации основан на H3N щающего фактора и его нейтрализации, компенсации дополнительным воздействием на объект. При этом измерение возмущения F не производится. [35]
Теория машин Тьюринга и теория автоматов являются разделами теории алгоритмов. [36]
Одной из важных проблем теории автоматов является проблема анализа, состоящая в отыскании регулярного выражения, представимого в конечном автомате. [37]
Одна из главных целей теории автоматов состоит в том, чтобы достигнуть понимания вычислительного процесса для различных классов задач. Но теория должна идти дальше понятия вычислимости, она должна изучать, насколько сложно вычисление и как его сложность связана с устройством машины, производящей это вычисление. Две меры сложности особенно важны - это время и память. В этой работе мы получаем оценки сложности для ряда моделей машин вычислительного типа ( включающего и классическую машину Тьюринга), связанные с ограничениями на ленты. [38]
При решении различных задач теории автоматов часто возникают дополнительные условия на рассматриваемые автоматы, определяющие те или иные подклассы класса всех конечных автоматов. Важнейшие такие подклассы и будут описаны в настоящем параграфе. [39]
Читатель, знакомый с теорией автоматов, сразу обнаружит, что действие1 есть в точности непрерывный автомат. Следующая лемма представляет собой исключительно полезный инструмент для изучения строения топологических полугрупп и принадлежит Уоллесу. [40]
Эти операции хорошо известны в теории автоматов. Далее мы вводим одно отображение. [41]
Постоянный участник нашего семинара по теории автоматов в МГУ, а впоследствии - сотрудник ИППИ РАН, Г. Л. Курдюмов совершенно неожиданно для всех доказал, что вопрос о том, является ли эргодической бесконечная однородная система типа рассматриваемых в [ Васильев и др., 1969 ], вообще говоря, алгоритмически неразрешим. [42]
Начинает казаться, что от теории музыкального автомата нам никуда не деться. [43]
ЭВМ, первоначально разработанные положения теории автоматов служат и сейчас основой для дальнейших исследований и разработок. [44]
Два последних достижения в области теории автоматов кажутся мне наиболее интересными, по крайней мере с точки зрения математики: многоуровневая иерархия Хомского и связь с полугруппами. [45]