В інформатиці та теорії формальних мов, порожній рядок (або null рядок) це особливий рядок нульової довжини. Він позначається як λ або іноді Λ чи ε.
Порожній рядок не те саме, що нульовий вказівник, який в дійсності не посилається на порожній рядок і виконання операцій над ним веде до виникнення помилок. Попри те, що порожній рядок не містить символьних даних, в пам'яті він займає місце. Наприклад, порожній рядок може містити позначку довжини або термінальний символ.
Властивості Редагувати
В формальних мовах, порожній рядок має декілька властивостей:
- . Його довжина дорівнює нулю.
- . Для конкатенації, порожній рядок є нейтральним елементом моноїду скінченних послідовностей (рядків) над абеткою Σ.
- . Оборотний рядок до порожнього є порожнім.
- Порожній рядок передує будь-якому іншому рядку в лексикографічному порядку.
Ці властивості можуть зберігатися в деяких мовах програмування.
Представлення Редагувати
Порожній рядок зазвичай представляють так само як і інші рядки. В реалізаціях з термінальним символом це лише термінальний символ розташований в першій позиції.
| Мова програмування | λ представлення |
|---|---|
| C, C++ | "" {'\0'} |
| C++ | std::string() |
| Objective-C | @"" |
| Perl | "" '' qw() |
| Python | "" '' """""" str() |
| C Sharp | "" string.Empty |
| Visual Basic .NET | ""String.Empty |
| PHP | "" '' |
| Java | "" |
| Javascript | '' "" |
| Haskell | "" |
| OCaml | "" String.make 0 '-' |
| Delphi, Pascal | '' |
| Tcl | "" {} |
Примітки Редагувати
- Kernighan and Ritchie, C, p. 38
- CSE1002 Lecture Notes - Lexicographic