Teória automatov - Satko, Ladislav, 1941- (SVŠT v Bratislave, 1988)