export const EmptyCharacter = "ε";
export const EndingCharacter = "$";