Regulární výrazy s rekurzivním zanořením

Vojtěch Hruša

Regular Expressions with Subpattern Recursion

Type of document

diplomová práce
master thesis

Author

Vojtěch Hruša

Supervisor

Guth Ondřej

Opponent

Pecka Tomáš

Field of study

Teoretická informatika

Study program

Informatika

Institutions assigning rank

katedra teoretické informatiky

Rights

A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html

Metadata

Show full item record

Abstract

Tato práce se zabývá regulárními výrazy s rekurzivním zanořením. Jedná se o rozšíření regulárních výrazů možností opakovaného využití podvýrazů v jiných částech výrazu. Mimo jiné i v rámci samotného podvýrazu. Nejprve zkoumáme různá rozšíření regulárních výrazů, jejich vyjadřovací sílu a přistupy k jejich zkoumání. Poté představíme nově vymyšlené algoritmy pro převod mezi regulárními výrazy s rekurzivním zanořením a bezkontextovými gramatikami. Nakonec ukážeme, že množina jazyků generovaná regulárními výrazy s rekurzivním zanořením je právě množina všech bezkontextových jazyků.

This thesis studies regular expressions with subpattern recursion. It is an extension of regular expressions that allows reusing subpatterns in other parts of the expression, including inside the actual subpattern. Firstly, we study various extensions of regular expressions, their expressive power, and research techniques. We then introduce novel algorithms for transforming between regular expressions with subpattern recursion and context-free grammars. Finally, we show that regular expressions with subpattern recursion match exactly context-free languages.