Система основных событий
S1 = {xr v x01 v x10} x01 {xr} xs | y1
S2 = {xr v x01 v x10} x10 {xr} xs | y2
S3 = {xr} xs | y3
_ __________
S4 = S1 v S2 v S3| e.
Заметим, что одно и тоже регулярное событие может быть представлено различными регулярными выражениями. Поэтому стает задача отыскания таких регулярных выражений, которые позволяют представлять события наиболее простыми формулами. Рассмотрим несколько основных соотношений, которые используются при преобразовании регулярных выражений.
S1 v S2 = S2 v S1 - закон коммутативности
(S1 v S2) v S3 = S1 v (S2 v S3) = S1 v S2 v S3 Ї
S1*(S2*S3) = (S1*S2)*S3 - законы ассоциативности
S1(S2 v S3) = S1S2 v S1S3 - закон дистрибутивности
{{S}} = {S} {S}*{S} = {S}
{{S1} v {S2} = {S1 v S2}
{e} = e
eS = Se = S
предыдущаяследующая тема