From bd35fb244c785609b009b893af42727c60f590e9 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 22 Jun 2023 10:19:56 +0200
Subject: [PATCH] =?UTF-8?q?AG:=20Je=C5=A1t=C4=9B=20vrac=C3=ADm=20zp=C4=9Bt?=
 =?UTF-8?q?=20obecn=C3=A9=20gramatiky?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 AG.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/AG.md b/AG.md
index 1cfc6fa..f4df1fa 100644
--- a/AG.md
+++ b/AG.md
@@ -20,7 +20,8 @@
 	* regulární výrazy popisují právě regulární jazyky
 
 3.	Gramatiky (3 přednášky)
-	* bezkontextové gramatiky, derivační stromy, generované jazyky
+	* gramatiky, generované jazyky
+	* bezkontextové gramatiky, derivační stromy
 	* pravé a levé lineární gramatiky generují regulární jazyky
 	* obecné lineární gramatiky generují i neregulární jazyky
 	* jednoznačnost gramatiky
@@ -41,6 +42,7 @@
 		- více pásek: důkaz ekvivalence s jednopáskovým TM
 		- nedeterministický TM
 	* vztah mezi TM a RAMem
+	* vztah mezi TM a gramatikami
 
 5.	Základy vyčíslitelnosti (2 přednášky)
 	* univerzální Turingův stroj, kódování strojů (bez detailů konstrukce)
-- 
GitLab