Алфавит – это Вершиной дерева достижимости не является +

Алфавит – это
+ это непустое конечное множество символов
Вершиной дерева достижимости не является
+ внешняя вершина
Вычислительные систем основаннае на модели взаимодействующих последовательных
процессов
+ эти системы можно разложить на параллельно работающие подсистемы, взаимодействующие как друг с
другом, так и со своим общим окружением
Данные – это
+ это представление фактов и идей в формализованном виде, пригодном для передачи и переработке в
некоем процессе
Если множества начального выбора оказываются равными и для каждой начальной альтернативы
дальнейшее поведение процессов совпадает, то
+(х: А  Р(х)) = (у: В  Q(у))  (А = В AND х  А.Р(х) = Q(х))
Если F(X) — предваренное выражение, то
(Y = F(Y)) (Y = μX.F(X))
Если s — копия некоторого начального отрезка t, то можно найти такое продолжение и
последовательности s, что s^и = t. Поэтому определим отношение порядка ... и будем говорить,
что s является префиксом t
+ s t ≤ (∃u.s^и = t)
Если s — непустая последовательность, обозначим ее первый элемент s0, а результат,
полученный после его удаления — s’, то (<x>^s)’ = s и называется
+ голова и хвост
Информационная среда
+ это совокупность носителей данных, используемых при какой-либо обработке данных
Информация – это
+это смысл, который придается данным при их представлении
Как называется программа , которая переводит программу, составленную на понятном
человеку формализованном языке программирования, на язык соответствующего компьютера
+транслятором
Как обозначается множество всех слов в алфавите V
+ V*
Как обозначается пустое множество
+0
Конечный объект в алфавите V, получаемый выписыванием одного за другим символов V –
это
+слово
Кто в середине 30-х годов формализовал способ получения значений вычислимой функции с
помощью абстрактной «математической машины», вычисляющей значения функции по
значениям ее аргументов
+Тьюринг
Множество - это
+это набор несовпадающих объектов, которые задаются явным перечислением, и заключаются в фигурные
скобки
Наиболее наглядным представлением сети Петри является
+ граф
Наиболее наглядным представлением сети Петри является её графическое
представление, которое представляет собой
+двудольный, ориентированный мультиграф.
Обработка данных – это
+ выполнение систематической последовательности действий
Одно из свойств машины Тьюринга: конечность –это
+ процесс нахождения значений функции для тех значений аргументов, для которых она определена,
состоит из конечного числа шагов
Оператор присваивания имеет вид
x := E
Операция над протоколами, которая строит новый протокол из пары протоколов s и t, просто
соединяя их в указанном порядке, называется
+ конкатенация
Описание смысла программы посредством выполнения ее операторов на реальной или
виртуальной машине, является основной концепцией
+ операционная семантика
Определение для каждой сущности языка некоего математического объекта и некоей функции,
отображающей экземпляры этой сущности в экземпляры этого математического объекта,
является основной концепцией
+ денотационной семантики
Определение процесса как решения систем уравнений с более чем одним неизвестным,
позволяет
+ взаимная рекурсия
Переход может запускаться только в том случае, когда
+ разрешен
Предикатом называют функцию, областью значений которой является множество символовцифр
+ {0, 1}
Преобразователь предикатов имеет вид
+ {wp(S, R)} S {R}
Программа – это
+ формализованное описание процесса
Протоколом поведения процесса называется
+ конечная последовательность символов, фиксирующая события, в которых процесс участвовал до
некоторого момента времени
Пустое множество
+ это множество, которое не содержит ни одного элемента
Пусть х — событие, а Р — процесс. Тогда «Р за х» описывает объект, который вначале участвует
в событии х, а затем ведет себя в точности как Р, где
+ α(х → Р) = αР, x αР
Размещение по позициям сети Петри фишек, изображаемых на графе сети Петри точками – это
+ маркировка
Рассмотрим систему равенств, определяющую функцию FACT(n)=n!
+ 6 шагов
Свойства (по Э. Дейкстра) wp(S, R), дистрибутивность дизъюнкции
+wp(S, P) OR wp(S, R) = wp(S, P OR R)
Свойства (по Э. Дейкстра) wp(S, R), дистрибутивность конъюнкции
+ wp(S, P) AND wp(S, R) = wp(S, P AND R)
Свойства (по Э. Дейкстра) wp(S, R), закон исключенного чуда
+ wp (S, F) = F
Свойство (по Э. Дейкстра) wp(S, R), закон монотонности
+ wp(S, P) => wp(S, R)
Свойство сужения
+ <> ↑ A = <>
Семантику каждой синтаксической конструкции языка можно определить как некий набор
аксиом или правил вывода, который можно использовать для вывода результатов выполнения
этой конструкции, является основной концепцией
+ аксиоматическая семантика
Сеть Петри выполняется посредством
+ запусков переходов
Сети Петри не предназначены для
+ действительного вычисления значений
Сети Петри – это
+ инструмент для математического моделирования и исследования сложных систем
Сколько значений имеет семафор
+3
Сколько свойств имеет машина Тьюринга
+4
Составной оператор имеет вид
+ begin S1; S2; ... ; Sn end
Существует простой способ определения смысла каждого оператора, и он не зависит от того,
как именно этот оператор используется для решения задачи, является основной концепцией
+ декларативная семантика
Теоретико-множественное определение сетей Петри
+ N=(P,Т,I,O)
Триада Хоара – это
+ {Q} S {R}
Что делает функция CONSCAR
+приписывает первую букву первого слова ко второму слову
Что понимается под надежностью программы
+ это способность программы безотказно выполнять определенные функции при заданных условиях в
течение заданного периода времени с достаточно большой вероятностью
Эффект сужения на одноэлементных последовательностях
+ <х> ↑ А = <х>, если х А
Язык, поддерживающим спецификацию ограничений , является
+ SDL