<?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=129078"><dc:title>Prepoznavnost: končni avtomati in racionalni jeziki</dc:title><dc:creator>Draksler,	Katja	(Avtor)
	</dc:creator><dc:creator>Kudryavtseva,	Ganna	(Mentor)
	</dc:creator><dc:subject>beseda</dc:subject><dc:subject>jezik</dc:subject><dc:subject>končni avtomat</dc:subject><dc:subject>racionalen jezik</dc:subject><dc:subject>regularen izraz</dc:subject><dc:subject>prepoznaven jezik</dc:subject><dc:subject>Kleenijev izrek</dc:subject><dc:description>V diplomski nalogi se seznanimo s teorijo formalnih jezikov, kjer obravnavamo jezike in operacije na njih. Definiramo končne avtomate, spoznamo njihove lastnosti in obravnavamo njihovo zvezo z besedami in jeziki.  Prek končnih avtomatov definiramo prepoznavne jezike in jih povežemo s posebnim razredom jezikov, imenovanih racionalni jeziki. Ta pomemben rezultat imenovan Kleenijev izrek v delu formuliramo in podamo njegov dokaz. Seznanimo se z linearnimi enačbami in sistemi linearnih enačb definiranih na jezikih. Določimo pogoje pod katerimi ima enačba oziroma sistem enačb enolično rešitev. Pri tem rezultatu sta pomembna Ardenova lema in njen dokaz. Prikažemo postopek, ki končnemu avtomatu vrne pripadajoč racionalen jezik.</dc:description><dc:date>2021</dc:date><dc:date>2021-08-26 08:15:02</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>129078</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>