Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Osnova sekce
-
-
Studenti musíOznačit jako hotovo
V 2019 přednášce přeskočte úvod na 3m:41s, čas 1h:11m by se měl vejít do konce dnešní přednášky (koncem v čase 1h:03, tj. po součinovém automatu, přijdete jen o ten bankovní příklad).
https://is.mff.cuni.cz/prednasky/prednaska/NTIN071/1
Slajdy z doby přednášky jsou nazvány 'Tabule' a jsou ke stažení pod videem.
Oprava: 9:07 Turingův stroj má sice oboustrannou pásku, ale to není důležité. Klíčové je, že na tu pásku může psát a pohybovat se po ní v libovolném směru.
-
-
Studenti musíOznačit jako hotovo
Upraveny požadavky ke zkoušce a na konci přidán algoritmus hledání dosažitelných stavů.
-