Click on Automaty a gramatiky to open the resource.