From e4ff3dc44d5e6533c05bc4635e5d50af8f934b80 Mon Sep 17 00:00:00 2001 From: Martin Mares <mj@ucw.cz> Date: Tue, 16 Mar 2021 17:59:47 +0100 Subject: [PATCH] =?UTF-8?q?U=C4=8Ditelsk=C3=A9=20ADS2:=20Zp=C5=99esn=C4=9B?= =?UTF-8?q?n=C3=AD=20odhadu=20#hodin?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- navrh-ADS2-ucitelske.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/navrh-ADS2-ucitelske.md b/navrh-ADS2-ucitelske.md index 6db189b..cb0352b 100644 --- a/navrh-ADS2-ucitelske.md +++ b/navrh-ADS2-ucitelske.md @@ -33,7 +33,7 @@ Navazuje na NTIN060 (ADS1), nahrazuje NTIN061 (ADS2) a NTIN071 (Automaty a grama * jeden až dva jednoduché příklady aproximačních algoritmů (knapsack, bin-packing, rozvrhování na paralelních strojích) včetně horního odhadu pro jejich poměrovou (nebo relativní) chybu * aproximační schéma: princip a příklad -1. Konečné automaty (1 přednáška) +1. Konečné automaty (1.5 přednáška) * základní pojmy: slova už známe z vyhledávání v textu, jazyk je vlastně totéž co rozhodovací problém * definice konečného automatu (DFA), syntaxe a sémantika, regulární jazyk @@ -59,7 +59,7 @@ Navazuje na NTIN060 (ADS1), nahrazuje NTIN061 (ADS2) a NTIN071 (Automaty a grama * algoritmus testující příslušnost slova do bezkontextového jazyka pomocí dynamického programování -1. Turingovy stroje (1 přednáška) +1. Turingovy stroje (1.5 přednášky) * obousměrný konečný automat * bez důkazu: obousměrné automaty jsou stejně silné jako jednosměrné * Turingův stroj (TM) -- GitLab