From 9d8ffdefc5095db6fe14797af33c0ad42a0b3b68 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 23 Apr 2023 23:54:03 +0200
Subject: [PATCH] =?UTF-8?q?AG:=20Trocha=20vy=C4=8D=C3=ADslitelnosti=20nav?=
 =?UTF-8?q?=C3=ADc?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 AG.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/AG.md b/AG.md
index 06ea6be..ebfc935 100644
--- a/AG.md
+++ b/AG.md
@@ -39,14 +39,15 @@
 		- nedeterministický TM
 	* vztah mezi TM a RAMem
 
-1.	Základy vyčíslitelnosti (1 přednáška)
+1.	Základy vyčíslitelnosti (1.5 přednášky)
 	* univerzální Turingův stroj, kódování strojů (bez detailů konstrukce)
 	* univerzální jazyk a diagonální jazyk
 	* halting problem je částečně rozhodnutelný, ale není rozhodnutelný
 	* Postova věta => doplněk halting problemu není částečně rozhodnutelný
 	* jazyk je částečně rozhodnutelný <=> jeho slova lze vyjmenovat
 	* převoditelnost jazyků
-	* Riceova věta (bez důkazu)
+	* nerozhodnutelné problémy ohledně bezkontextových gramatik
+	* Riceova věta
 
 1.	Polynomiálni složitost a P vs. NP (2.5 přednášky)
 	* třídy DTIME(f)
-- 
GitLab