Lukas' Notes

Definition

Empty String

The empty string is the unique string of length and is denoted as :