form lne jazyky a preklada e n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Form álne jazyky a prekladače PowerPoint Presentation
Download Presentation
Form álne jazyky a prekladače

Loading in 2 Seconds...

play fullscreen
1 / 8

Form álne jazyky a prekladače - PowerPoint PPT Presentation


  • 109 Views
  • Uploaded on

Form álne jazyky a prekladače. materiály k cvičeniam Ing. Michaela Bačíková. Konečnostavové automaty (KSA). Rozpoznávač reťazcov regulárneho jazyka Možno konštruovať na základe RV Deterministický (DKA) / nedeterministický (NKA)

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

Form álne jazyky a prekladače


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
form lne jazyky a preklada e

Formálne jazyky a prekladače

materiály k cvičeniam

Ing. Michaela Bačíková

kone nostavov automaty ksa
Konečnostavové automaty (KSA)
  • Rozpoznávač reťazcov regulárneho jazyka
  • Možno konštruovať na základe RV
  • Deterministický (DKA) / nedeterministický (NKA)
  • Pre každý NKA možno vytvoriť DKA, pričom obe rozpoznávajú tú istú regulárnu množinu.
deterministick ksa dka
Deterministický KSA (DKA)
  • DKA M nad abecedou Σ je systém

M = (K, Σ, δ, s0, F)

kde:

    • K je konečná neprázdna množina stavov
    • Σ je konečná vstupná abeceda
    • δje prechodová funkcia
    • s0 ∈ K je začiatočný stav
    • F ⊆ K je množina koncových stavov

kde

funkciaδ: K x Σ+ K je definovaná:

δ(p, a) = q

δ(p, xa) = δ(δ(p, x), a)

p,q ∈ K, a ∈ Σ, x ∈ Σ +

neterministick ksa nka
Neterministický KSA (NKA)
  • NKA N nad abecedou Σ je systém

N = (K, Σ, δ, s0, F)

kde:

    • K je konečná neprázdna množina stavov
    • Σ je konečná vstupná abeceda
    • δje prechodová funkcia
    • s0 ∈ K je začiatočný stav
    • F ⊆ K je množina koncových stavov

kde

funkciaδ: {K} x Σ* {K} je definovaná:

δ(P, e) = Q δ(P, xe) = δ(δ(p, x), a)

δ(P, a) = R δ(P, xa) = δ(δ(p, x), a)

p,q ∈ K, a ∈ Σ, x ∈ Σ +

stavy a prechody ksa
Stavy a prechody KSA

start

start

stav i ε K

stav s0 = i

stav i ∈ F

stav s0 = i, i ∈ F

a

i

i

j

i

Prechodδ(i, a) = j

Prechod δ(i, a) = i

i

a

i

i

slide6

Úloha: Tvorba prechodového diagramu pre regulárny výraz a [a|b]

start

a

a

b

Úloha: Tvorba prechodového diagramu pre regulárny výraz a {ab}

start

a

b

a

slide7

Úloha: Tvorba prechodového grafu pre RV a [a|b]

0

start

start

a

• a [a|b]

b

b

a

a

1

a [• a| • b] •

b

a

b

2

a [a| b] •

Prechodový diagram pre RV a [a|b]

Číslami označíme stavy KSA a prekreslíme:

a

start

a

0

1

2

b

slide8

Úloha: Tvorba prechodového grafu pre RV a {ab}

0

start

• a {ab}

a

a

b

b

b

a

1

b

a

a {• ab} •

a

2

a {a •b}

Prechodový diagram pre RV a {ab}

b

start

Číslami označíme stavy KSA a prekreslíme:

a

start

a

0

1

2

b