Stav dette: Algebraiczne własności maszyn abstrakcyjnych /