Title: Algebraiczne własności maszyn abstrakcyjnych