Порожній рядок

В інформатиці та теорії формальних мов, порожній рядок (або null рядок)^[1] це особливий рядок нульової довжини. Він позначається як λ або іноді Λ чи ε.

Порожній рядок не те саме, що нульовий вказівник, який в дійсності не посилається на порожній рядок і виконання операцій над ним веде до виникнення помилок. Попри те, що порожній рядок не містить символьних даних, в пам'яті він займає місце. Наприклад, порожній рядок може містити позначку довжини або термінальний символ.

В формальних мовах, порожній рядок має декілька властивостей:

• ${\displaystyle |\lambda \,|=0}$. Його довжина дорівнює нулю.
• ${\displaystyle \lambda \,+s=s+\lambda \,=s}$. Для конкатенації, порожній рядок є нейтральним елементом моноїду скінченних послідовностей (рядків) над абеткою Σ.
• ${\displaystyle {\lambda \,}^{R}=\lambda \,}$. Оборотний рядок до порожнього є порожнім.
• Порожній рядок передує будь-якому іншому рядку в лексикографічному порядку.^[2]

Ці властивості можуть зберігатися в деяких мовах програмування.

Порожній рядок зазвичай представляють так само як і інші рядки. В реалізаціях з термінальним символом це лише термінальний символ розташований в першій позиції.

"" 

{'\0'} 

std::string() 

@"" 

"" 

'' 

qw() 

"" 

'' 

"""""" 

str() 

"" 

string.Empty 

"" 

String.Empty 

"" 

'' 

"" 

'' 

"" 

"" 

"" 

String.make 0 '-' 

'' 

"" 

{} 

• Порожня множина