- study materials available at www.fit.vutbr.cz/study/courses/TIN/public
- Automaty a formální jazyky I
- Pumping lemma pro bezkontextové jazyky, zásobníkové automaty, nedeterministická syntaktická analýza
- Pumping lemma pro bezkontextový jazyk
- Cvičenı́ k předmětům: IB005 Formálnı́ jazyky a automaty a IB102 Automaty, gramatiky a složitost
- MUNI FI:IB102 Automaty, gramatiky a složitost (podzim 2015)