IB102 - Automaty a gramatiky (podzim 2006)