Reprezentace obrazu pomocí vážených konečných automatů

The goal of this thesis is to introduce weighted finite automata (WFA) as a means of representing multi-resolution raster images. We explain the basic concepts of weighted finite automata. Then we describe an encoding algorithm that converts an image into a WFA and a decoding algorithm that can generate back the original image. We then provide our implementation of the encoding and decoding algorithms. 1Cieľom tejto práce je predstavenie vážených konečných automatov (WFA) ako spôsob reprezentácie rastrových obrázkov vo viacerých rozlíšeniach (multi-resolution images). Vysvetlíme základné koncepty vážených konečných automatov. Potom popíšeme algo- ritmus pre kódovanie obrázkov do WFA a algoritmus pre dekódovanie WFA späť do obrázkov. Následne poskytneme našu implementáciu kódovacieho a dekódovacieho algo- ritmu. 1Department of AlgebraKatedra algebryMatematicko-fyzikální fakultaFaculty of Mathematics and Physic