สายอักขระว่าง

ในวิทยาการคอมพิวเตอร์และภาษารูปนัย สายอักขระว่าง (อังกฤษ: empty string) หมายถึงสายอักขระที่มีหนึ่งเดียวที่มีความยาวเป็นศูนย์ เขียนแทนได้ด้วย ϵ (lunate epsilon) หรือ e

คุณสมบัติ

เมื่อแสดงด้วยภาษารูปนัย สายอักขระว่างมีคุณสมบัติหลายประการดังนี้

• คาร์ดินัลลิตี (cardinality) ของสายอักขระว่างเท่ากับศูนย์
  • $| \epsilon \, | = 0$
• สายอักขระว่างเป็นสมาชิกเอกลักษณ์ภายใต้การต่อกันของสายอักขระ (concatenation) ซึ่งเป็นสมาชิกของโมนอยด์อิสระ (free monoid) บนเซตอักษร Σ
  • $\epsilon \, + s = s + \epsilon \, = s$
• การย้อนกลับของสายอักขระว่าง ก็ยังคงเป็นสายอักขระว่าง
  • ${ \epsilon \, }^R = \epsilon \,$

คุณสมบัติเหล่านี้อาจยังคงมีอยู่ในภาษาโปรแกรมบางภาษา แต่ก็ขึ้นอยู่กับการนำไปใช้เฉพาะทาง

ตัวแทนของสายอักขระว่างในภาษาโปรแกรม

ภาษาโปรแกรมส่วนใหญ่สามารถใช้ "" หรือ '' แทนสายอักขระว่าง ϵ แต่ก็ยังมีบางภาษาที่สามารถเขียนในรูปแบบอื่นได้อีก เช่น

• ภาษาซี ภาษาซีพลัสพลัส แทนด้วย {'\0'}
• ภาษาเพิร์ล แทนด้วย qw ()
• ภาษาไพทอน แทนด้วย str ()

ดูเพิ่ม

• เซตว่าง
• นัลล์ (null)