Efficiency of data structures in implementation of automata

Abstract

Tato Prace se soustředí na optimalizaci knihovny Mata, která je součastným leaderem na poli vykonu v oblasti operací nad automaty. Výrazdné zlepšení výkonu je dosáhnuto pomocí modifikovaného lineárního alokátoru, využitím append-only vlastnosti reprezentace automatu umozňue bleskově rychlé konstrukce a bleskově rychlým pristupúm do paměti díky prostorove lokalitě. Nálezem této práce není pouze rychlejší už ta nejrychlejší knihovna Mata ale take použitelnost lineárních alokátorů jako normálně používaná praxe při append-only strukturách, speciálně v výkonově kritických případech.This Thesis focuses on optimazing the library Mata, that is curently the leader in performance it the fieal operations on automatas. Sygnificant performance increase is achived with the use of a modified linear allocator, using the append-only represetattion of an automata allows for blazing fast construction and blazing fast memery acces owning to resulting spatial locality. The findings of this thesis is not only faster already fastest library Mata but also the viability of linear allocaotors as a more common practice in append only structures, espessialy in performance critical uses.