Technion - Israel Institute of Technology
		236807 - Seminar in Computer Science 7
		Spring 2012
	Course Material Finite Memory Automata FMA-daniel.pdf 128 KB Monadic second-order logic of one successor MSO.pdf 382 KB Amir's Lecture אוטומטי בוכי דטרמיניסטים.pptx 275 KB Gil's lecture Classification of Omega-regular languages.pdf 1.7 MB Liat's Lecture- Updated Two-way finite automata new.pdf 917 KB Dikla's Lecture undecidability_of_PCP.pdf 301 KB The Universtality of FMA is Undecideable.pdf 828 KB Shaul's Lecture the emptiness problem for 2-PA languages.pdf 401 KB 3-pa is stronger than 2-pa.pdf 315 KB