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 175 x |
Autor:
- |
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á
O súboroch cookie na tejto stránke
Súbory cookie používame na funkčné účely, na zhromažďovanie a analýzu informácií o výkone a používaní stránky.