Syntaxí řízený překlad založený na hlubokých zásobníkových automatech

Abstract

Tato práce představuje zavádí syntaxí řízený překlad založený na použití hlubokých zásobníkových automatů. V teoretické části jde především o zavedení potřebných teoretických modelů. Nejdůležitějším modelem představeným v této práci je hluboký zásobníkový převodník, který lze jednoduše využít při nejdůležitější části překladu - syntaktické analýze. V praktické části je ilustrováno využití nově zavedených modelů při implementaci interpretu jednoduchého programovacího jazyka.

This thesis introduces syntax-directed translation based on deep pushdown automata. Necessary theoretical models are introduced in the theoretical part. The most important model, introduced in this thesis, is a deep pushdown transducer. The transducer should be used in syntax analysis, significant part of translation. Practical part consists of an implementation of simple-language interpret based on these models.