Виртуальные машины

Виртуальная машина (VM) – вычислительная среда, набор ресурсов и правил работы которой формируется с помощью программного обеспечения в некой другой вычислительной среде.

Разновидности виртуальных машин:

гипервизор;

хостовая виртуальная машина;

виртуальная машина уровня приложений;

параллельная виртуальная машина.

18 ноября

СРС: Найти и записать принцип действия и состав машины Тьюринга

IX. ФОРМАЛИЗАЦИЯ ПОНЯТИЯ «АЛГОРИТМ»

Форма –

1) наружный вид, внешнее очертания;

2) способ существования и выражения какого-либо содержания;

3) – 10)

В общем виде формализация понимается как приведение некоторого содержания к выбранной форме.

Пример: оглавление книги – это формализация ее содержательных частей. Текст книги – это формализация размышлений, мыслей автора с помощью языковых конструкций.

Необходимость формализации:

то, что создано формально, легко поддается проверке;

без формализации в принципе невозможно создавать и использовать вычислительные машины;

заменив математические утверждения и рассуждения формальными выражениями, получаем возможность сделать сами эти рассуждения предметом компьютерной обработки.

Язык характеризуется:

набором используемых знаков;

правилом образования из знаков языковых конструкций;

наборами синтаксических, семантических и прагматических правил использования языковых конструкций.

Дата добавления: 2014-01-20