Lukas' Notes

Definition

Non-empty String

A string is called non-empty if it has a length of at least , i.e.,