Checking if a string is null

[Manfred Nowak]

Bruno Medeiros wrote

> I can only reply, then why would you want arrays to form a Kleene
> Algebra?

Because at several places the specs refer to "static and dynamic 
arrays". This gives room for the assumption, that "static and dynamic 
arrays" have something in common.

In fact the definitions of identity-, equality-, ordering-relations as 
well as the definitions of the concatenation-operator and the implicit 
choice- and maybe Kleene-star-operations are not discriminating on any 
sort of arrays.

But the last tiny step to introduce both neutral elements and maybe a 
top element---and thereby visibly unifying all "static and dynamic 
arrays"---is not taken.

By Occams razor there must be a good reason for not doing this last 
step, because the near to 100 posts in this thread alone show the need 
for having a clean mathematical model at hand.

-manfred