|
Алгебраические модели вычислительных машин
В. Н. Лифшиц, Л. Е. Садовский
Аннотация:
Исследования, посвященные построению и анализу математических моделей цифровых
вычислительных машин, развиваются в последнее время преимущественно в двух
направлениях. Основу первого направления составляет предложенный В. М. Глушковым метод изучения процессов преобразования дискретной информации с точки зрения
теории автоматов. Второе направление связано с работами А. А. Ляпунова, А. П. Ершова, Н. И. Глебова, а также ряда других математиков. В этих работах математические модели вычислительных машин рассматриваются с позиций общей алгебры. Сюда примыкает также ряд работ, посвященных различным способам формализации понятия программы вычислительной машины (эти вопросы подробно рассмотрены в обзоре A. П. Ершова и А. А. Ляпунова [26]).
Настоящий обзор (без претензий на исчерпывающую полноту) посвящен способам
построения и исследования автоматно-алгебраических и алгебраических моделей вычислительных машин. При этом основное внимание уделяется методам построения соответствующих моделей. В заключение авторы описывают один способ модификации алгебраической модели, учитывающей некоторые элементы строения машины и вопросы функционирования вложенной в ее память программы.
От читателя предполагается знакомство лишь с некоторыми из основных понятий
общей алгебры (полугруппа, изоморфизм, частично упорядоченное множество и т. д.).
Эти сведения можно найти, например, в книге А. Г. Куроша [35].
Полный текст:
PDF файл (3073 kB)
Список литературы:
PDF файл
HTML файл
Англоязычная версия:
Russian Mathematical Surveys, 1972, 27:3, 87–135
Реферативные базы данных:
УДК:
519.9
MSC: 68Q70, 68W30, 68Q05 Поступила в редакцию: 07.12.1970
Образец цитирования:
В. Н. Лифшиц, Л. Е. Садовский, “Алгебраические модели вычислительных машин”, УМН, 27:3(165) (1972), 79–125; Russian Math. Surveys, 27:3 (1972), 87–135
Цитирование в формате AMSBIB
\RBibitem{LifSad72}
\by В.~Н.~Лифшиц, Л.~Е.~Садовский
\paper Алгебраические модели вычислительных машин
\jour УМН
\yr 1972
\vol 27
\issue 3(165)
\pages 79--125
\mathnet{http://mi.mathnet.ru/umn5058}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=400794}
\zmath{https://zbmath.org/?q=an:0246.94030}
\transl
\jour Russian Math. Surveys
\yr 1972
\vol 27
\issue 3
\pages 87--135
\crossref{https://doi.org/10.1070/RM1972v027n03ABEH001379}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/umn5058 http://mi.mathnet.ru/rus/umn/v27/i3/p79
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 656 | Полный текст: | 241 | Литература: | 42 | Первая стр.: | 1 |
|