Ekvivalence regulárních výrazů

Identické

  • Označíme

  • Jestliže jsou a úplně stejné řetězce symbolů

  • Když jsou RV identické, jsou i ekvivalentní i podobné

Podobné

  • Označíme
  • Jestliže se dají na sebe převést pomocí následujících identit
  • Když jsou RV podobné, jsou i ekvivalentní
Poznámka


Tedy je jakoby

Ekvivalentní

  • Označíme
  • Jestliže mají a stejnou hodnotu

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