Формальное определение

Cтраница 4

Даны формальные определения программы, механизма защиты и правил защиты. В частности, рассмотрен специальный механизм защиты, который позволяет фиксировать, как значения входных переменных присваивались переменным программы. Показано, что с теоретической точки зрения такой механизм можно использовать в тех случаях, когда время выполнения программы не играет существенной роли. Затем проводится сравнение данного механизма с другими. [46]

Рассмотрим формальное определение СС. [47]

Существуют формальные определения синтаксиса Фортрана ( см. напр. В самом деле, в формальном определении стандартного Фортрана для описания синтаксиса не используется формальная грамматика. Полуфиксированный формат полей и многочисленные ограничения, накладываемые на различные конструкции, затрудняют полное определение синтаксиса Фортрана. [48]

Наше формальное определение дисплейного файла включает в себя еще один тип программных сегментов - символ [1], который в соответствии со следующим определением отличается от графического объекта. [49]

Пример реализации нестандартного процесса 176. [50]

Дать формальное определение случайного процесса, сочетающее в себе физическую сущность и математическую строгость, очень трудно, но интуитивное представление о случайном процессе связано с непредсказуемостью его мгновенных значений. С физической точки зрения, вполне допустимо представление случайного процесса одной реализацией. [51]

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