|
|
Symbolic Representation of Finite Automata
Chromečka, Jiří ; Vojnar, Tomáš (referee) ; Lengál, Ondřej (advisor)
In formal analysis we often encounter finite automata with a~large amount of states over large alphabets. Their explicit representation can result in a~state explosion and this problem can be solved by the use of symbolic representation that can manipulate a~whole set of states at once. The aim of this work is to extend the libVATA library to support such a~representation including algorithms for some operations on this representation. The presented text first deals with prerequisites necessary to undestand finite automata and binary decision diagrams used for their symbolic representation. Then it lists some existing libraries for work with finite automata. Next follows the core of this work, the~design of a~symbolic representation and operations on it, which are later implemented in the previously mentioned library. The test results proves that the symbolic representation is an interesting alternative to the explicit representation.
|
|
|
The Contemporary System of Fashion
Srbová, Kateřina ; Rozbořil, Blahoslav (referee) ; Kubíková, Zuzana (advisor)
The fashion industry is conditioned by building a uniform singularity of an individual through relating to what a look symbolises conceptually and objectively. [Fashion] designers operate with a societal perception of equality, social justice or feminism as if they were products. The challenge for them is not the acceptance and creation of real values, but rather to sell what these values could represent if accepted within the society. Identification with the concept of self-acceptance while watching a catwalk narrative therefore means watching a material representation of a loud affection. This affection is then being accepted by purchasing products that could represent them. The controversy is manifested by the fact how values, which have not yet been embraced by the majority of society, are being represented materially and personally. Designers dress these objects of representation into specific entities and the catwalk represents a speculative model of the future. By a gradual flow of these looks into the mainstream, society does not accept the values but merely wears them. Therefore in the present, every value is seasonal. This bachelor thesis is trying to shed some light on the contemporary system of fashion.
|
|
|
Collective biography of Czechoslovak historiography of year 1934
Sixta, Václav ; Štaif, Jiří (advisor) ; Lomíček, Jan (referee)
This thesis deals with an analysis of symbolic representation of Czechoslovak historiography to year 1934. Its source is primary the Culture Directory from the year 1934, respectively the kvantification of its informations. This informations or profiles are analyzed through categories of position in hieararchy in historography, nationality, lokalization and specialization. According this categories we can see many different ways of creating symbolic representation in our set of historians. The phenomene of change in time and trends we can see by using category of generation, defined objectively every ten years according the date of birth. Thanks variability of categories we can see the plurality of ways of creating symbolic representation. For exact analysis of symbolic representation we use a concept of "field of representations" where the representations make a really exactly defined units. Their complicated struktures create a symbolic representation of whole czechoslovac historiography. By using a kvantification we can see the facts, which are by other method unachievable.
|
|
|
The Contemporary System of Fashion
Srbová, Kateřina ; Rozbořil, Blahoslav (referee) ; Kubíková, Zuzana (advisor)
The fashion industry is conditioned by building a uniform singularity of an individual through relating to what a look symbolises conceptually and objectively. [Fashion] designers operate with a societal perception of equality, social justice or feminism as if they were products. The challenge for them is not the acceptance and creation of real values, but rather to sell what these values could represent if accepted within the society. Identification with the concept of self-acceptance while watching a catwalk narrative therefore means watching a material representation of a loud affection. This affection is then being accepted by purchasing products that could represent them. The controversy is manifested by the fact how values, which have not yet been embraced by the majority of society, are being represented materially and personally. Designers dress these objects of representation into specific entities and the catwalk represents a speculative model of the future. By a gradual flow of these looks into the mainstream, society does not accept the values but merely wears them. Therefore in the present, every value is seasonal. This bachelor thesis is trying to shed some light on the contemporary system of fashion.
|
|
|
Collective biography of Czechoslovak historiography of year 1934
Sixta, Václav ; Štaif, Jiří (advisor) ; Lomíček, Jan (referee)
This thesis deals with an analysis of symbolic representation of Czechoslovak historiography to year 1934. Its source is primary the Culture Directory from the year 1934, respectively the kvantification of its informations. This informations or profiles are analyzed through categories of position in hieararchy in historography, nationality, lokalization and specialization. According this categories we can see many different ways of creating symbolic representation in our set of historians. The phenomene of change in time and trends we can see by using category of generation, defined objectively every ten years according the date of birth. Thanks variability of categories we can see the plurality of ways of creating symbolic representation. For exact analysis of symbolic representation we use a concept of "field of representations" where the representations make a really exactly defined units. Their complicated struktures create a symbolic representation of whole czechoslovac historiography. By using a kvantification we can see the facts, which are by other method unachievable.
|
|
|
Symbolic Representation of Finite Automata
Chromečka, Jiří ; Vojnar, Tomáš (referee) ; Lengál, Ondřej (advisor)
In formal analysis we often encounter finite automata with a~large amount of states over large alphabets. Their explicit representation can result in a~state explosion and this problem can be solved by the use of symbolic representation that can manipulate a~whole set of states at once. The aim of this work is to extend the libVATA library to support such a~representation including algorithms for some operations on this representation. The presented text first deals with prerequisites necessary to undestand finite automata and binary decision diagrams used for their symbolic representation. Then it lists some existing libraries for work with finite automata. Next follows the core of this work, the~design of a~symbolic representation and operations on it, which are later implemented in the previously mentioned library. The test results proves that the symbolic representation is an interesting alternative to the explicit representation.
|
guest ::
