Теория - автомат
Cтраница 2
В теории автоматов наибольшее внимание уделяется изучению конечных автоматов, поскольку они составляют основу практически реализуемых систем для обработки дискретной информации. Автоматы первого типа могут рассматриваться как частный случай конечных автоматов. [16]
В теории автоматов многообразия могут быть использованы обычными для алгебры способами. Прежде всего, это классификация автоматов по признаку тождественных соотношений, которые в них выполняются. Тождественные соотношения, так же как и определяющие соотношения, играют важную роль в описании автомата. Каждый автомат является гомоморфным образом подходящего свободного автомата в многообразии, порожденном заданным автоматом. Эти автоматы в некоторых случаях могут быть и конечными. [17]
Методы теории автоматов могут быть использованы не только для описания процессов выполнения алгоритмов ( функционирования АлСУ), но и для решения некоторых других задач, связанных с алгоритмизацией БС. Так, в работе [20] показано, что теория автоматов может использоваться для минимизации микропрограмм ЦВМ, обычных программ, а следовательно, и АлСУ в установленном здесь виде. [18]
Основными в теории автоматов являются понятия абстрактного автомата и композиции автоматов. Они являются разумными абстракциями реально существующих дискретных разомкнутых автоматических систем-автоматов. Понятие абстрактного автомата позволяет характеризовать систему с точки зрения алгоритма его функционирования. [19]
Основными задачами теории автоматов являются задачи анализа и синтеза автоматов. [20]
Другой ветвью теории автоматов, которую развивал фон Нейман, является изучение проблемы самовоспроизведения машин или проблемы - можно ли построить простую и абстрактную систему машин, которые способны строить другие идентичные машины или даже способные к некоторого рода эволюционному процессу, в котором последующие поколения строят машины более высокой сложности. Реальная трудность здесь состоит в том, чтобы соответствующим образом сбалансировать простоту формальных построений и легкость обращения, с одной стороны, и степень близости модели к реальным физическим машинам, с другой стороны. Если модель слишком близка к реальности, нам приходится кодировать все сложнейшие аспекты природы, большая часть которых не имеет никакого отношения к вопросу самовоспроизведения. Однако при слишком сильном упрощении модель становится настолько абстрактной и упрощенной, что проблема выглядит почти тривиальной и решение не дает ничего нового с точки зрения выяснения поставленного философского вопроса. [21]
Введение в теорию автоматов, языков и вычислений, 2-ое изд. [22]
Следующий факт из теории автоматов, который нам потребуется в дальнейшем, - это известный результат, состоящий в том, что детерминированные временные классы замкнуты относительно дополнения. [23]
Примером может служить теория автоматов, изучающая специальный класс дискретных систем переработки информации, включающих в себя большое количество элементов и моделирующих работу нервных сетей. Важным методом изучения систем управления является моделирование их на универсальных цифровых машинах. [24]
Важную роль в теории автоматов может играть понятие гомоморфизма с заменой. [25]
При этом в теории автоматов существует физическая интерпретация, несколько отличающаяся от приведенной выше. [26]
Математическая логика / теория автоматов: ИНС - это системы, в которых алгоритм решения задачи представлен логической сетью элементов частного вида ( нейронов) с полным отказом от булевских элементов типа И, ИЛИ, НЕ. Нейроны объединяются специфическими взаимосвязями, носящими характер весовых коэффициентов. [27]
 |
Характерные конфигурации в игре Жизнь Конуэя. ( а вымирающая популяция. ( б переход в стационарную популяцию. ( в осциллирующая популяция. ( г самовоспроизводящаяся дрейфующая популяция. [28] |
В своей монографии Теория самовоспроизводящихся автоматов фон Нейман предпринял попытку перенести на абстрактные автоматы некоторые фундаментальные свойства биологических систем. Придуманный фон Нейманом автомат весьма сложен. [29]
Приведем основные понятия теории автоматов, используемые в работе. [30]
Страницы: 1 2 3 4