Regulární výrazy

  • Regulární výraz nad abecedou je definován:
    • - RV pro všechna
    • Jsou li RV nad , pak i následující jsou RV nad :
      • - sjednocení, alternative
      • - zřetězení
      • - iterace
Poznámka

Tečky a závorky lze vynechat, pokud je to jednoznačené

Vlastnosti

../Attachments/Pasted image 20221011173035.png

  • Tedy je jakoby

  • Řešení regulárních rovnic - Nechť jsou RV, pak platí:

    • (levá regulární rovnice)
    • (pravá regulární rovnice)
    • pozn. je rekurentní člen, je ukončovací člen

Úprava RV

Věty v teorii regulárních výrazů

../Attachments/Pasted image 20221011171330.png

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25