Sbírka řešených příkladů z teorie automatů a formálních jazyků - Chytil, Michal, 1949- (Univerzita Karlova, 1987)