Home > Search Results: Kropitz, Pavel
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Busy Beaver Problem
 Kropitz, Pavel ; Holan, Tomáš (advisor) ; Mráz, František (referee)
The work's purpose was to develop and implement optimalization methods that could be used for solving Busy Beaver problem with order of 5+. The result of the work is the theoretical part and its implementation in form of two programs - simulator of Turing Machines which shows the computation of the machine in detail along with application of theory, and program searching the space of Turing Machines. The latter was ran for machines with four to six states. The quality of the methods was proven by small number of machines that the program could not detect and by nding a new record machine - candidate for 6-state Busy Beaver.
Detailed record
Busy Beaver Problem
 Kropitz, Pavel ; Holan, Tomáš (advisor) ; Mráz, František (referee)
The work's purpose was to develop and implement optimalization methods that could be used for solving Busy Beaver problem with order of 5+. The result of the work is the theoretical part and its implementation in form of two programs - simulator of Turing Machines which shows the computation of the machine in detail along with application of theory, and program searching the space of Turing Machines. The latter was ran for machines with four to six states. The quality of the methods was proven by small number of machines that the program could not detect and by nding a new record machine - candidate for 6-state Busy Beaver.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English