SMS dit: Algebraiczne własności maszyn abstrakcyjnych /