Pok-2-wyk-Slajd15
Z Studia Informatyczne
Własności wyrażeń regularnych
Przejdźmy teraz do omówienia praw algebraicznych dla wyrażeń regularnych.
Po pierwsze alternatywa jest przemienna. Oznacza to, że wyrażenie w1 lub w2 jest równoważne wyrażeniu w2 lub w1.
Alternatywa jest również łączna.
Złączenie jest łączne.
Kolejny aksjomat przedstawiony na slajdzie ilustruje rozdzielność złączenia względem alternatywy.
Epsilon jest elementem neutralnym złączenia.
Ostatni aksjomat ukazuje, iż domknięcie domknięcia jest równoważne pojedynczemu domknięciu. Oznacza to, że gwiazdka Kleene’go jest idempotentna.
