<?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=96681"><dc:title>Neodločljivi problemi v teoriji izračunljivosti</dc:title><dc:creator>Rogač,	Luka Viktor	(Avtor)
	</dc:creator><dc:creator>Malnič,	Aleksander	(Mentor)
	</dc:creator><dc:creator>Požar,	Rok	(Komentor)
	</dc:creator><dc:subject>hierarhija avtomatov in jezikov</dc:subject><dc:description>V magistrskem delu je predstavljena hierarhija avtomatov in pripadajočih jezikov. Vpeljani so pojmi, povezani z razpoznavnimi in nerazpoznavnimi jeziki. Sledi nadaljnja vpeljava podrazreda razpoznavnih jezikov; to so odločljivi jeziki. S pomočjo odločljivih oziroma neodločljivih jezikov prevedemo in strogo definiramo koncept odločljivih oziroma neodločljivih problemov. Podrobno so opisani so naslednji zgledi neodločljivih problemov: problem zaustavitve Turingovega stroja, Postov korespodenčni problem, problem zaposlenega bobra in Hilbertov deseti problem. V okviru magistrskega dela je bila izdelana spletna aplikacija, ki išče konkretne rešitve Postovega korespodenčnega problema. Podrobno je opisano programsko orodje z razlago programske kode in navodili za uporabo. Naveden je tudi primer uporabe spletne aplikacije v praksi, na primer pri računalniškem krožku.</dc:description><dc:date>2017</dc:date><dc:date>2017-10-10 02:55:00</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>96681</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>