Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů

Abstract

Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných konečnými stromovými automaty a třídou jazyků popisovanou regulárními stromovými výrazy, tak je možné provádět převody. Já se zaměřují na převod konečných stromových automatů na regulární stromové výrazy. Během práce je představeno jedno současné řešení a další dva nové přístupy jsou navrženy a implementovany. Práce také zahrnuje porovnání nových algoritmů včetně měření zavedené kvality výsledku.

This thesis studies tree languages. Tree language is composed from set of trees similarly as textual language is composed from set of textual strings. Since class of languages which are accepted by finite tree automata and class of languages which are denoted by regular tree expressions are proven to be equal, conversion can be performed. I focus on conversion from finite tree automata to regular tree expressions. During this thesis, one state-of-the-art solution is presented and two new approaches are discovered and implemented. A brief comparison between algorithm and measurements are included.