WikiDer > Абстрактная машина
 | эта статья нужны дополнительные цитаты для проверка. (Октябрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
An абстрактная машина, также называемый абстрактный компьютер, является теоретической моделью компьютер аппаратное или программное обеспечение, используемое в теория автоматов. Абстракция вычислительных процессов используется как в Информатика и компьютерная инженерия дисциплины и обычно предполагает дискретное время парадигма.
Информация
в теория вычислений, абстрактные машины часто используются в мысленные эксперименты относительно вычислимость или проанализировать сложность алгоритмы (увидеть теория сложности вычислений). Типичная абстрактная машина состоит из определения в терминах ввода, вывода и набора допустимых операций, используемых для превращения первых во вторую. Самый известный пример - это Машина Тьюринга.
Абстрактные типы данных могут быть указаны с точки зрения их операционная семантика на абстрактной машине. Например, стек может быть определен в терминах операций на абстрактной машине с массивом памяти. С помощью абстрактных машин можно вычислить количество ресурсов (время, память и т. Д.), Необходимых для выполнения конкретной операции, без необходимости создания физической системы.[требуется разъяснение]
Более сложные определения создают абстрактные машины с полным наборы инструкций, регистры и модели памяти. Одна популярная модель, более похожая на настоящие современные машины, - это Модель RAM, который позволяет произвольный доступ в проиндексированные ячейки памяти. Поскольку разница в производительности между разными уровнями кэш-память растет, модели, чувствительные к кеш-памяти, такие как модель внешней памяти и модель без кеширования приобретают все большее значение.
Абстрактная машина может также относиться к микропроцессор дизайн, который еще не реализован (или не предполагается) реализован в виде оборудования. Абстрактная машина, реализованная в виде программного моделирования, или для которой переводчик существует, называется виртуальная машина.
Смотрите также
- Абстракция (информатика)
- Абстрактная интерпретация
- Массовая синхронная параллель
- Дискретное время
- Конечный автомат
- Таксономия Флинна
- Формальные модели вычислений
- Кривинская машина
- Модель вычисления
- Параллельная машина с произвольным доступом, де-факто стандартная модель.[1]
- Машина SECD
- Государственное пространство
- Машина Тьюринга
использованная литература
- ^ Д. Б. Скилликорн (2005). Основы параллельного программирования. Издательство Кембриджского университета. п. 18. ISBN 978-0-521-01856-2.
- Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.
дальнейшее чтение
- Питер ван Эмде Боас, Модели машин и симуляции стр. 3–66, появляющиеся в:
- Ян ван Леувен, изд. Справочник по теоретической информатике. Том A: Алгоритмы и сложность, MIT PRESS / Elsevier, 1990. ISBN 0-444-88071-2 (том А). QA 76.H279 1990.
- Стефан Диль, Питер Хартел и Питер Сестофт, Абстрактные машины для реализации языков программирования, Компьютерные системы будущего, Том. 16 (7), Эльзевир, 2000.
- Вернер Клюге (2006). Абстрактные вычислительные машины: перспектива лямбда-исчисления. Springer. ISBN 978-3-540-27359-2.