Fórum studentů MFF UK

Principy už jsem dělal před rokem, ale zapomněl jsem ho publikovat. Je to univerzální drop-in Makefile pro všechny domácí úkoly. Umí vygenerovat kódy z xml v pozdějších DU, spouštět testy (make test) a snaží se mít jednoduchý výstup. https://gist.github.com/Aearsis/f092bb941e92d0dec3f8a8af15c7b6ee F...

1. Ukažte, že následující problém není algoritmicky rozhodnutelný: Pomalejší TS Instance: Dva TS M 1 a M 2 zadané svými kódy. Otázka: Platí pro každé x ∈ Σ*, že M 1 vykoná při práci nad vstupem x alespoň tolik kroků, kolik jich se vstupem x vykoná M 2 ? Rozhodněte (a zdůvodněte), zda tento problém n...

Na zkoušce jsem byl sám, takže probíhala asi trochu jinak než obvykle. Antoch si vážně stěžoval, že se studenti odhlašují na poslední chvíli. Také mi vyčítal, že o hodinách koukáme do mobilů, nevěnujeme pozornost přednášce a neučíme se průběžně - třeba bychom to pak lépe chápali na první dobrou. Teď...