|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Grammars
Havel, Martin ; Křivka, Zbyněk (referee) ; Meduna, Alexandr (advisor)
Tato práce poskytuje alternativní algoritmus pro odstranění epsilon-pravidel z E0S gramatik. Oproti standardnímu způsobu odstranění epsilon-pravidel ve většině gramatik podobných E0S gramatikám, jako bezkontextové gramatiky, tato metoda nevyžaduje predeterminizaci symbolů, které generují prázdné řetězce. Navržený algoritmus je formálně verifikován. V implementační kapitole práce, navržený algoritmus je implementován a použitelnost algoritmu na E0S gramatikách je demonstrována. Na závěr je algoritmus vyhodnocen a jsou nastíněny dvě otevřené oblasti.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Crimes in the banking sector
Havel, Martin ; Jelínek, Jiří (advisor) ; Vokoun, Rudolf (referee)
This thesis deals with criminal activities in relation to the banking sector. To highlight the importance of banking to the national economy, is seized most crime committed here. The perpetrators come from these areas. First, working within the banking sector - shareholders, officers and employees, the other so-called third parties outside the banking sector. Their common goal - to seize the funds in the bank for their own enrichment. Mostly for the money of depositors. This is a specific crime. Aim - show status of de lege lata. The prevention of crime, also show the possibility of de lege ferenda. In order to prevent crime and reduce the degree of damage.
|
|
|
Abundance of house sparrow (Passer domesticus) and other synantropic species in rural settlements
Havel, Martin ; Zasadil, Petr (advisor) ; Musil, Petr (referee)
The thesis analyses the quantity of eleven species of synanthropic birds. These species include House Sparrow (Passer domesticus), Eurasian Tree Sparrow (Passer montanus), Eurasian Collared Dove (Streptopelia decaocto), European Greenfinch (Carduelis chloris), European Serin (Serinus serinus), Black Redstart (Phoenicurus ochruros), European Goldfinch (Carduelis carduelis), Common Linnet (Cardielis cannabinal), White Wagtail (Motacilla alba), Common Chaffinch (Fringilla coelebs), and Common Starling (Sturnus vulgaris). The thesis focuses especially on House Sparrow (Passer domesticus), whose quantity has been decreasing in Czech Republic. The collection of data took place in 2012, 2014 and 2015, from April to June. The census was taken by ten people by means of a modified quick mapping method. The census took place in 180 villages located in eight regions of the Czech Republic. Only villages with population bellow 2000 were included. Two types of counting areas were set in these villages. The counting areas were squares of 100 x 100 metres. There were 229 areas of the first type, placed in ordinary built-up areas. Areas of the second type were set on grounds of factory farms, there were 151 of them. The main aim of the thesis was to find out whether the presence of a factory farm affects quantity of the studied bird species, and to determine which additional environmental factors affect the quantity. The analysed factors included the type of the biotope (a built-up area or a farm factory), location of the census, distance from the village edge, distance from the farm factory, proportion of built-up areas, and proportion of green vegetation. It was further investigated whether the quantity in built-up areas is affected by the presence of poultry, and whether the quantity in farm factories is affected by the functionality (or non-functionality) of the farm factory. It was proved that the overall quantity of all species was significantly affected by the type of biotope, proportion of built-up area and of green vegetation, and the location of the census. The quantity of House Sparrow was affected by the same factors, though the influence of the type of biotope was not proved. The average quantities from built-up areas and from the grounds of the farm factories did not differ significantly in the case of House Sparrow. The quantity of European Tree Sparrow, however, was significantly higher on the grounds of factory farms than in built-up areas. The influence of the presence of poultry in built-up areas on the overall quantity of all species also proved to be significant. The functionality of farm factories significantly influenced the quantity of all species on the grounds of the factory farms. This influence proved to be the most significant in case of House Sparrow and White Wagtail. In both cases, much higher quantity was detected on the grounds of functional farm factories than non-functional ones.
|
guest ::
RSS feed.