Formlne jazyky a prekladae materily k cvieniam Ing

Formálne jazyky a prekladače materiály k cvičeniam Ing. Michaela Bačíková

Regulárne výrazy Prostriedok pre popis regulárnych jazykov (resp. regulárnych množín). � Základná definícia: � 1. 2. 3. ε je regulárny výraz, ktorý definuje množinu {ε}, obsahujúcu prázdny symbol ε. a (symbol a ∈VT) je regulárny výraz, ktorý definuje množinu {a}. Ak r, s sú regulárne výrazy, potom: a) r | s je regulárny výraz, definujúci množinu {r} ∪ {s}. b) r s je regulárny výraz, definujúci množinu {r s}, ktorá je množinou všetkých zreťazení reťazcov r a s, definovanými reg. množinami {r} a {s}. c) (r) je regulárny výraz, definujúci množinu {r}. Teda regulárne výrazy môžu byť uzavreté v zátvorkách. d) (r)* je regulárny výraz, definujúci tranzitívny (Kleeneho) uzáver, definovaný nasledovne:

Regulárne výrazy � 1. 2. Rozšírená definícia (pre DKA): a (symbol a ∈VT) je regulárny výraz, ktorý definuje množinu {a}. Ak r, s sú regulárne výrazy, potom: a) r | s je regulárny výraz, definujúci množinu {r} ∪ {s}. b) r s je regulárny výraz, definujúci množinu {r s}, ktorá je množinou všetkých zreťazení reťazcov r a s, definovanými reg. množinami {r} a {s}. c) (r) je regulárny výraz, definujúci množinu {r}. Teda regulárne výrazy môžu byť uzavreté v zátvorkách. d) [r] je regulárny výraz ekvivalentný regulárnemu výrazu ε | r na definíciu množiny {ε} ∪ {r}. e) {r} je regulárny výraz, definujúci tranzitívny (Kleeneho) uzáver, definovaný nasledovne:

Čo nás čaká Rodné číslo: 846211/1234 846211 1234 - slovná špecifikácia REG. VÝRAZ overenie správnosti zápisu AUTOMAT - akceptuje alebo odmietne reťazec