|
|
Reconstruction n. 5
Nováček, Daniel ; Buraj, Ivan (referee) ; Sterec, Pavel (advisor)
Value of the category of the real is not lost due to a process of measuring. The problem is not the fact of measuring, but it‘s insufficient quantity and detail. Methodology of analysis of systems, subsystems, functions of incorporated elements and their reproduction with a determined reality.
|
|
|
Syntactic Analysis Based on Coupled Finite Automata
Zámečníková, Eva ; Masařík, Karel (referee) ; Lukáš, Roman (advisor)
Master's thesis is dealing with translation based on coupled finite automaton model. Coupled finite automaton contains input and output automaton. The input automaton makes syntactic analysis with an input string. Used rules from the input automaton control the output automaton, which generates an output string. In thesis is described a way of determinisation of the input automaton without loss of information about rules used in original automaton. The determinizitaion is divided into two parts - for finite and infinite translation specified by transducers. Then is presented a new pair automaton with increased computing power. This increased computing power consists in replace of input or output or just a part of automaton by context free grammar.
|
|
| |
|
|
Parsing Based on Deep Pushdown Automata Systems
Šoustar, Jakub ; Kocman, Radim (referee) ; Meduna, Alexandr (advisor)
This thesis investigates deep pushdown automata and introduces their modification called controlled deep pushdown automata. Distributed deep pushdown automata systems and parallel communicating deep pushdown automata systems are described. Their accepting power and properties are investigated and several variants are introduced. This thesis proves that the accepting power of one such variant of parallel communicating deep pushdown automata systems is equal to the accepting power of Turing machines. A method for syntactical analysis based on the previously introduced automata systems is described.
|
|
|
Syntactic Analysis Based on Special Models
Zámečníková, Eva ; Masařík, Karel (referee) ; Lukáš, Roman (advisor)
This bachelor thesis is dealing with translation based on coupled finite automaton. Coupled finite automaton contains input and output automaton. The input automaton makes syntactic analysis with an input string. Used rules from the input automaton control the output automaton, which generates an output string. Basic topic of this thesis is determinisation of the input automaton without loss of information about rules used in original automaton.
|
|
|
Parsing Based on Matrix Grammars
Bednář, Petr ; Solár, Peter (referee) ; Meduna, Alexandr (advisor)
This thesis is researching parsing based on matrix grammars. Introduces automata controled parsing method. It discusses problems of deterministic parsing of matrix grammars. Thesis is focusing on deterministic parsing of non-deterministic languages. It studies strength of this deterministic method.
|
|
| |
|
|
Is free will just an illusion?
KOHOUTOVÁ, Lucie
The question of free will is one of the oldest and most complex questions that one deals with. It is not only theoretical, because the consequences of our actions will affect not only our lives, but also the lives of other people. In my bachelor thesis I will rely on the definitions of free will and try to define the basic theories that work with it. What are the basic attitudes to free will and what are the arguments for its existence or non-existence? The main question will be whether we possess free will, whether we are able to make free choices, or whether the act of free will is predestined to us and our free will is then a mere illusion. I will try to present the arguments of some philosophers and show their view of free will and the related moral responsibility.
|
|
| |
|
|
Existencialism and its Implementation in Education
Krivdová, Annamária ; Hogenová, Anna (advisor) ; Hauser, Michael (referee)
This thesis aims to outline the most influential ideas of existentialism and relate them to our everyday life. The first part focuses on five existential writers and their most profound contributions. It addresses the works of Dostoyevsky, Kierkegaard, Nietzsche, Sartre, and Camus. The second part consists of twelve subchapters, tackling the questions of freedom, determinism, anxiety, suffering, authenticity, responsibility, and the search for meaning in life. This part seeks to put issues of existential philosophy into practical use and highlight its everlasting influence and relevance in today's world. It is constructed in the form of twelve lessons, offering various examples and views on the thought-provoking concepts presented in the first part.
|
guest ::
