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

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

[แก้] คุณสมบัติ

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

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

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

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

สายอักขระว่าง เป็นบทความเกี่ยวกับ คอมพิวเตอร์ อุปกรณ์คอมพิวเตอร์ หรือ เครือข่าย ที่ยังไม่สมบูรณ์ ต้องการตรวจสอบ เพิ่มเนื้อหาหรือเพิ่มแหล่งอ้างอิง คุณสามารถช่วยเพิ่มเติมหรือแก้ไข เพื่อให้สมบูรณ์มากขึ้น
ข้อมูลเกี่ยวกับ สายอักขระว่าง ในภาษาอื่น อาจสามารถหาอ่านได้จากเมนู ภาษาอื่น ด้านซ้ายมือ หรือ ดูเพิ่มที่ สถานีย่อย:เทคโนโลยีสารสนเทศ