diff --git a/AG.md b/AG.md index 1cfc6fa74d27aa4af842a5dd56e1c431293d35f1..f4df1fa7bc0acc702f209515c0f305221f2dd279 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)