Категория
Информатика
Тип
реферат
Страницы
2 стр.
Дата
16.03.2009
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
20806.zip — 30.81 kb
  • issledovanie-nekotoryx-zadach-v-algebrax-i-prostranstvax-programm_20806_1.rtf — 261.61 Kb
  • Readme_docus.me.txt — 125 Bytes
Рейтинг
10  из 10
Оценок
1
Оцените работу
Хорошо  или  Плохо


Текст работы

Исследование некоторых задач в алгебрах и пространствах программ
Казиев В.М.
Рассмотрим пару алгебр
(A,B): алгебру X= событий - алгоритмических процедур (программ) заданную над алфавитом X=x
1 ,x 2 ,...,x n
и В- трехзначную алгебру логики ( 0,1,2
- неопределенность). В алгебре А определим двухместные операции конъюнкции и условной дизъюнкции и одноместную операцию итерации следующим образом: конъюнкция s 1&
s 2 событий s 1
, s 2 состоит из всех слов вида pq, pО s
1 , qО s 2 ; a - дизъюнкция a
(s 1 +s 2 ) совпадает с s 1 (s 2 ), если условие a истинно (ложно); итерация с постусловием sa
состоит из пустого события s 0 =e и всевозможных слов вида p 1 p p k , sa =s m , где s m
- последний из степеней s , для которого условие a выполнено; итерация с предусловием a s определяется аналогично. В алгебре А задается событие называемое неопределенным и обозначаемое символом Ж . Элементарные события в А - события е, x 1
, x 2 ,..., x n . Аксиомы алгебры А ниже рассмотрены. Все аксиомы алгебры
B и правила вывода в ней сохраняются. Правила вывода, используемые в алгебре А включают правила вывода, принятые в программировании - см., например, [1]. Событие, получаемое применением конечного числа операций алгебры А над элементарными, называется регулярным.
Имеет место важная теорема Клини [2]: регулярные события и только они представимы в конечных автоматах.
Рассмотрим задачу построения алгоритма регуляризации во введенной паре алгебр (А,B). Алгоритм в укрупненных шагах состоит в следующем.
Шаг 1 . Задается произвольное событие s=s
0 s 1 s 2
n+1 , где s i - событие номер i , начальное событие - s 0
, конечное - s n+1 , остальные события - преобразователи и/или



Ваше мнение



CAPTCHA