Univerzalni računski modeli

diplomsko delo

Martin Perčinić (Avtor), Borut Robič (Mentor)

Povzetek

V diplomskem delu obravnavamo univerzalne računske modele oziroma računske modele, ki imajo enako računsko moč kot Turingovi stroji. V prvem delu diplomskega dela opišemo zgradbo in delovanje Turingovega in univerzalnega Turingovega stroja. V nadaljevanju obravnavamo sisteme oznak in celične avtomate, ki so univerzalni računski modeli, namenjeni računanju. Dokažemo njihovo univerzalnost in opišemo njihovo pomembnost pri dokazovanju univerzalnosti drugih sistemov. V zadnjem delu obravnavamo programske jezike in pogoje za njihovo univerzalnost. Obravnavamo tudi univerzalnost strojev, ki niso namenjeni računanju, vendar še vedno lahko z njimi računamo. Pri tem obravnavamo aplikaciji Microsoft Excel in Microsoft PowerPoint ter igro Magic: The Gathering.

Ključne besede

univerzalni računski modeli;Turingovi stroji;sistemi oznak;celični avtomati;računalništvo;računalništvo in informatika;računalništvo in matematika;interdisciplinarni študij;univerzitetni študij;diplomske naloge;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2021
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL FRI - Fakulteta za računalništvo in informatiko
Založnik:	[M. Perčinić]
UDK:	004:51(043.2)
COBISS:	51606787
Št. ogledov:	595
Št. prenosov:	79
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Turing complete models
Sekundarni povzetek:	In this thesis we discuss Turing complete models. These are models of computation, which have the same computational power as Turing machines. In the first part of the thesis we review the structure and operation of Turing machines and universal Turing machines. In the next part, we introduce tag systems and cellular automata, which are Turing complete models intended for computational purposes. We explain the proof of their completeness and also show their importance in proving the completeness of other models. In the last part we discuss various programming languages and the conditions for their completeness. We also take a look at the completeness of models that are not intended for computation, but can still be used for computing, namely Microsoft Excel, Microsoft PowerPoint and Magic: The Gathering.
Sekundarne ključne besede:	Turing complete models;Turing machines;tag systems;cellular automata;computer science;computer and information science;computer science and mathematics;interdisciplinary studies;diploma;
Vrsta dela (COBISS):	Diplomsko delo/naloga
Študijski program:	1000407
Konec prepovedi (OpenAIRE):	1970-01-01
Komentar na gradivo:	Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani:	50 str.
ID:	12559523