Абстрактная машина

Cтраница 3

Чтобы разработать новый алгоритм, мы даем определение некоторой абстрактной машины, которая инкапсулирует основные свойства реальной машины, разрабатываем и анализируем алгоритмы для этой абстрактной машины, затем пишем программы лучших алгоритмов, тестируем эти программные реализации, после чего вносим усовершенствования как в сами алгоритмы, так и в их программные реализации. [31]

Ниже описан важный частный случай абстрактной машины, называемой абстрактной машиной с размеченной памятью тт. [32]

В 1936 г. он предложил под алгоритмом понимать последовательность действий некоторой гипотетической, абстрактной машины, получившей название машины ( или машин) Тьюринга. Эта гипотетическая машина столь просто устроена, что ее действия не могут вызвать неоднозначного толкования. Как же устроена эта машина и как точно описать последовательность ее действий. В этих клетках записаны символы, из некоторого, вполне определенного множества, называемого алфавитом. Заметим, что в каждой клетке может находиться только один символ. Вдоль ленты передвигается устройство, автомат, который умеет различать эти символы. Работа автомата складывается из следующих один за другим шагов, пли тактов. [33]

Абстрактная машина может быть реализована на любом компьютере, если рассматривать инструкции абстрактной машины как макросы. [34]

Будем считать, что для всякого алгорифма R, выполнимого на описываемой абстрактной машине, исходными данными являются слова Р вида Р - к, где тс - конкретное состояние памяти тс. [35]

Харманис и Стирнз определяют понятие сложность, вводя подход к вычислительной сложности посредством абстрактных машин, и получают результаты о структуре классов сложности. [36]

Функциональные программы, выраженные в подходящей комбинаторной форме, могут быть транслированы в код абстрактной машины. [37]

Паскаль, наоборот, тщательно скрывает свойства ЭВМ, удерживая пользователя в рамках своей абстрактной машины, в результате чего эффективность достигается с большим трудом. [38]

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

Инструкции программы. [40]

Представленный - выше язык не вполне отвечает обычному понятию языка программирования, ибо он описывает также абстрактную машину ( воображаемую и с неограниченной памятью), выполняющую написанные на этом языке алгоритмы. Но это лишь видимость несоответствия: вполне возможно описать абстрактные машины, соответствующие, например, Фортрану и Прологу. [41]

Большое количество особенностей низкого уровня, рассмотренных в МОП-системе, в равной степени относится и к другим абстрактным машинам, и поэтому при рассмотрении G-машины мы не будем уделять им внимание. [42]

При изучении данной темы полезны как семинарские занятия, подготовка рефератов, так и лабораторные работы с абстрактными машинами Тьюринга и Поста, а также с нормальными алгоритмами Маркова. [43]

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

Как мы уже отмечали в начале раздела 11.3, тот факт, что мы сосредоточили свое внимание на изучении абстрактной машины с последовательным доступом к внешним устройствам, позволяет отделить проблемы, связанные с разработкой алгоритмов, от проблем их использования на практике. При разработке практических приложений нам необходимо проверить основные предположения и позаботиться о том, чтобы они всегда соблюдались. [45]

Страницы: 1 2 3 4