sasha198407
16.01.2011, 04:27
Доброго времени суток господа. Я студент-заочник. Задали нам по "Тории вычислительных систем" контрольную работу, среди прочих заданий есть такое: написать СЕТИ ПЕТРИ для следующих формул
Коммутативность операций наложения и исключения: (A,B)=(B,A)
Ассоциативность бинарных операций: ((A,B),C)=(A,(B,C))
Дистрибутивность операций: A;(B,C)=(A;B),(A;C)
Рефлексивность операций наложения: (A,A)=A
Свойства операции разметки: n(A,B)=(nA,nB)
Я все задания сделал кроме этого, а здавать надо в понедельник, так что на самостоятельное изучение времени нет. Просьба откликнуться кто может, буду благодарен если кто-то объяснит как решать. Извеняюсь. конечно, что к асперантам залез. Ну, вроде всё, всем зарание огромное спасибо.
// Здесь форум аспирантов. Перенесено в флейм. Закрыто. Jacky
Коммутативность операций наложения и исключения: (A,B)=(B,A)
Ассоциативность бинарных операций: ((A,B),C)=(A,(B,C))
Дистрибутивность операций: A;(B,C)=(A;B),(A;C)
Рефлексивность операций наложения: (A,A)=A
Свойства операции разметки: n(A,B)=(nA,nB)
Я все задания сделал кроме этого, а здавать надо в понедельник, так что на самостоятельное изучение времени нет. Просьба откликнуться кто может, буду благодарен если кто-то объяснит как решать. Извеняюсь. конечно, что к асперантам залез. Ну, вроде всё, всем зарание огромное спасибо.
// Здесь форум аспирантов. Перенесено в флейм. Закрыто. Jacky