Systémy překladových modelů a jejich aplikace

Abstract

Účelom práce je navrhnúť a formálne definovať systém prekladových modelov, vymedziť jeho vlastnosti a porovnať takýto systém s už existujúcimi systémami. V rámci práce vznikol Systém zásobníkových prevodníkov SPT tvorený viacerými upravenými zásobníkovými prevodníkmi. Jeho komponenty medzi sebou komunikujú pomocou komunikačných kľúčov prebratých z Paralelne komunikujúcich gramatických systémov (PCGS) a dokážu pracovať v troch módoch. Okrem teoretických definícií sa práca taktiež venuje aj implementácii daného systému, a to konkrétne na prípade prekladu DNA na RNA a na aminokyseliny pomocou dvojprvkového SPT.The goal of this thesis is to propose and formally define a system of transducers, specify its characteristics, and compare it to already existing systems. Thus, the System of pushdown transducers (SPT) was introduced. This system consists of modified pushdown transducers whose components communicate via query symbols introduced in Parallel communicating grammar systems (PCGS) and can work in three different modes. Besides theoretical definitions, this thesis also describes the implementation of the proposed system as a transducer from DNA to RNA and amino acids using the SPT of two elements.