National Repository of Grey Literature 2 records found  Search took 0.00 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.
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.