สายอักขระ
จากวิกิพีเดีย สารานุกรมเสรี
สายอักขระ (Strings)
ให้ Σ เป็นเซตของ "อักขระ (alphabet)" และ เป็นเซตของ "สายอักขระ (strings)" บน มีนิยามแบบเวียนเกิดดังนี้
1) ขั้นมูลฐาน:
2) ขั้นเวียนเกิด: ถ้า และ แล้ว
3) ขั้นปิด: ก็ต่อเมื่อสามารถสร้างได้จาก λ โดยการใช้ขั้นเวียนเกิด เป็นจำนวนครั้งที่จำกัด