Programmeerimine, kasutades sümboolseid automaate ja muundureid

Date

2019

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Sümboolsed automaadid ja muundurid on lõplike automaatide laiendused, mis lubavad üleminekuid ka predikaatide ja funktsioonidega. Töö eesmärgiks on uurida ja anda ülevaade programmeerimiskeeltest, mis on ehitatud sümboolsetele automaatidele ja muunduritele. Peamiselt keskendutakse programmeerimiskeelele Bek, kuid antakse lühiülevaade ka kahest Bekiga sarnasest keelest Bex ja Fast. Töö annab ka ülevaate, milliseid programme on võimalik muundureid kasutades luua.
Symbolic automata and transducers are extensions to finite automata which allow transitions with predicates and functions. The aim of this thesis is to study and give an overview of programming languages that are built on symbolic automata and transducers. The main focus is on the programming language Bek but a short overview of two similar languages Bex and Fast is given as well. The thesis also gives an overview of the scope of the programs that can be written with tools based on automata and transducers.

Description

Keywords

Citation