Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 033   projektov
0 nových

Konštrukcia prekladačov (prednáška 5) - Teória prekladu

«»
Prípona
.ppt
Typ
prezentácia
Stiahnuté
0 x
Veľkosť
0,1 MB
Jazyk
slovenský
ID projektu
13863
Posledná úprava
09.09.2021
Zobrazené
1 022 x
Autor:
-
Facebook icon Zdieľaj na Facebooku
Detaily projektu
Popis:
CIELE:
formálna definícia prekladu z jednoho jazyka do druhého so zohľadnením syntaxe aj sémantiky.

PROSTRIEDKY:
rozšírený formálny aparát gramatík a automatov pre reprezentáciu syntaxe
rozšírenie syntaktických pravidiel o atribúty a sémantické pravidlá pre reprezentáciu sémantických vlastností jazyka a prekladu.

DEFINÍCIA PREKLADU
Nech T je vstupná abeceda
D je výstupná abeceda
L1 je vstupný jazyk nad abecedou T
L2 je výstupný jazyk nad abecedou D
Formálny preklad P z jazyka L1 do jazyka L2 je každá podmnožina kartézskeho súčinu L1 x L2.

PREKLAD VETY:
Nech P je preklad z L1 do L2.
Veta y  L1 je preklad vety x  L2 práve vtedy, ak (x,y)  P
...

Kľúčové slová:

preklad

jazyk

syntax

sémantika

gramatika

abeceda

karteziánsky súčin

veta

riadený preklad

SDTS

neterminál

proces prekladu

vetný tvar

zásobníková pamäť

prekladová gramatika



Obsah:
  • Úvod
    SYNTAXOU RIADENÝ PREKLAD SYNAXOU RIADENÉ PREKLADOVÉ SCHÉMY
    Definícia pojmov pre popis procesu prekladu
    Príklad
    JEDNODUCHÉ SYNTAXOU RIADENÉ PREKLADOVÉ SCHÉMY
    Príklad na jednoduchú SDTS
    PREKLADOVÉ GRAMATIKY
    Príklad na prekladovú gramatiku
    MATEMATICKÉ MODELY FORMÁLNEHO PREKLADU KONEČNÝ PREKLADOVÝ AUTOMAT (KPA)
    Príklad: Zostrojte KPA, ktorý dopĺňa vstupný reťazec na nepárnu paritu.
    Deterministický KPA
    MATEMATICKÉ MODELY FORMÁLNEHO PREKLADU ZÁSOBNÍKOVÝ PREKLADOVÝ AUTOMAT (ZPA)
    VZŤAH SDTS A ZPA

Zdroje:
  • prednášky
  • poznámky
  • skriptá