<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=124754"><dc:title>Univerzalni računski modeli</dc:title><dc:creator>Perčinić,	Martin	(Avtor)
	</dc:creator><dc:creator>Robič,	Borut	(Mentor)
	</dc:creator><dc:subject>univerzalni računski modeli</dc:subject><dc:subject>Turingovi stroji</dc:subject><dc:subject>sistemi oznak</dc:subject><dc:subject>celični avtomati</dc:subject><dc:description>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.</dc:description><dc:date>2021</dc:date><dc:date>2021-02-15 08:28:51</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>124754</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>