Алфавит – это + это непустое конечное множество символов Вершиной дерева достижимости не является + внешняя вершина Вычислительные систем основаннае на модели взаимодействующих последовательных процессов + эти системы можно разложить на параллельно работающие подсистемы, взаимодействующие как друг с другом, так и со своим общим окружением Данные – это + это представление фактов и идей в формализованном виде, пригодном для передачи и переработке в некоем процессе Если множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то +(х: А Р(х)) = (у: В 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