4
Gerçek dize eklemeyi uygulama
Birçok dilde dizelerin "eklenmesi" sağlanır +. Ancak bu gerçekten birleştirmedir, gerçek bir ekleme grup aksiyomlarını izler: Kapalıdır (iki dizenin eklenmesi her zaman bir dizedir) Bu birleştiricidir ( (a + b) + c = a + (b + c) ) Bir kimlik var ( :e: a + e = a ) …