wannaphong/clean_thaiwikipedia huggingface dataset:
# การอ้างเหตุผลแนวทแยงของคันทอร์
การอ้างเหตุผลแนวทแยงของคันทอร์  เป็นวิธีการพิสูจน์ของเกออร์ค คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite)

วิธีการแนวทแยง ไม่ได้เป็นการพิสูจน์การนับไม่ได้ของจำนวนจริงอันแรกของคันทอร์ แต่เป็นการพิสูจน์ที่เผยแพร่หลัง 3 ปีของการพิสูจน์อันแรก วิธีการพิสูจน์อันแรกของเขาไม่เกี่ยวข้องกับการกระจายทศนิยม หรือระบบตัวเลข

ตั้งแต่ที่มีการใช้วิธีพิสูจน์นี้ ได้มีการพิสูจน์ที่คล้ายๆกันอีกหลายแบบ ซึ่งเรียกว่าเป็นวิธีการแนวทแยง โดยดูจากวิธีที่ใช้ในการพิสูจน์

 จำนวนจริง 

การพิสูจน์ของคันทอร์ แสดงให้เห็นว่า ช่วง [0,1] ไม่เป็น อนันต์นับได้

การพิสูจน์โดยข้อขัดแย้ง มีขั้นตอนดังนี้

 สมมติว่าช่วง [0,1] เป็น อนันต์นับได้
 เราจะแจงจำนวนทั้งหมดในช่วงนี้ด้วยลำดับ (r1, r2, r3, ...)
 เรารู้ว่าจำนวนเหล่านี้สามารถเขียนในรูปการกระจายทศนิยมได้
 เราจะเรียงจำนวนให้เป็นแถว ในกรณีที่การกระจายทศนิยมเป็น 0.499 ... = 0.500 ..., เราจะเลือกอันที่ลงท้ายด้วย 9. จากตัวอย่าง การกระจายทศนิยมที่เริ่มต้นของลำดับเป็นดังนี้
 : r1 = 0 . 5 1 0 5 1 1 0 ...
 : r2 = 0 . 4 1 3 2 0 4 3 ...
 : r3 = 0 . 8 2 4 5 0 2 6 ...
 : r4 = 0 . 2 3 3 0 1 2 6 ...
 : r5 = 0 . 4 1 0 7 2 4 6 ...
 : r6 = 0 . 9 9 3 7 8 3 8 ...
 : r7 = 0 . 0 1 0 5 1 3 5 ...
 : ...
 เราจะสร้างจำนวนจริง x ซึ่งอยู่ใน [0,1] โดยการพิจารณา เลขหลักที่ k หลังจุดทศนิยมของการกระจายทศนิยมของ rk ซึ่งเราจะขีดเส้นใต้และทำตัวหนาเอาไว้ การพิสูจน์นี้จึงมีชื่อเรียกว่า การพิสูจน์แนวทแยง
 : r1 = 0 . 5 1 0 5 1 1 0 ...
 : r2 = 0 . 4 1 3 2 0 4 3 ...
 : r3 = 0 . 8 2 4 5 0 2 6 ...
 : r4 = 0 . 2 3 3 0 1 2 6 ...
 : r5 = 0 . 4 1 0 7 2 4 6 ...
 : r6 = 0 . 9 9 3 7 8 3 8 ...
 : r7 = 0 . 0 1 0 5 1 3 5 ...
 : ...
 จากทศนิยมเหล่านี้ เราจะนิยามทศนิยมของ x ดังนี้
 ถ้าเลขหลักที่ k ของ rk เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 4
 ถ้าเลขหลักที่ k ของ rk ไม่เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 5
 ดังนั้น x จึงเป็นจำนวนจริง (เพราะว่าการกระจายทศนิยมอยู่ในรูปจำนวนจริง) ที่อยู่ในช่วง [0,1]. จากตัวอย่างข้างบน เราจะได้การกระจายทศนิยมดังนี้
 : x = 0 . 4 5 5 5 5 5 4 ...
 เรารู้ว่าจะต้องมี n ที่ทำให้ rn = x เพราะว่าเรากำหนดให้ (r1, r2, r3, ...) แจงจำนวนจริงทั้งหมดในช่วง [0,1]
 แต่ว่าการเลือกเลข 4 และเลข 5 ของ x ในข้อ (6) จะทำให้ x จะแตกต่างในหลักที่ n ของ rn ดังนั้น x ไม่อยู่ในลำดับ (r1, r2, r3, ...)
 ดังนั้น ลำดับนี้ไม่ได้เป็นการแจงจำนวนจริงทั้งหมดในช่วง [0,1] เกิดข้อขัดแย้ง
 ดังนั้น สมมติฐาน (1) ที่ว่าช่วง [0,1] เป็นอนันต์นับได้ จึงเป็นเท็จ

บทพิสูจน์นี้แสดงให้เห็นว่าเซต R ของจำนวนจริงทั้งหมดนั้นนับไม่ได้. ถ้า R นับได้แล้ว เราจะแจงจำนวนจริงทั้งหมดให้อยู่ในลำดับนี้ได้ และทำให้เป็นลำดับ [0,1] โดยการลบจำนวนจริงที่อยู่นอกช่วงนี้ออกไป แต่เราเห็นแล้วว่าไม่สามารถทำได้. นอกจากนี้ เราจะแสดงให้เห็นว่า [0,1] และ R มีขนาดเท่ากันโดยการสร้างฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงระหว่างกัน ซึ่งอาจจะไม่สะดวกสำหรับการทำในช่วง [0,1]; สำหรับช่วงเปิด (0,1) เราจะให้ 
โดยนิยามว่า .
# พระราชบัญญัติ
พระราชบัญญัติ หรือ รัฐบัญญัติ  เป็นกฎหมายที่เกิดจากความเห็นชอบของสภานิติบัญญัติ ในประเทศส่วนใหญ่ กฎหมายดังกล่าวเริ่มขึ้นด้วยการเสนอร่างกฎหมายให้สภานิติบัญญัติอภิปรายและลงมติ

ในท้องที่ที่ใช้ระบบเวสต์มินสเตอร์ ร่างกฎหมายที่อาจกลายเป็นกฎหมายได้นั้นมักมาจากการเสนอของฝ่ายบริหาร ซึ่งมักมีขึ้นหลังจากเผยแพร่สมุดปกขาว (white paper) ที่ระบุประเด็นที่เกี่ยวข้องและวิธีการที่ร่างกฎหมายนั้นจัดการกับประเด็นดังกล่าว ร่างกฎหมายที่สภาริเริ่มเอง มักเรียกว่า ร่างกฎหมายเอกเทศของสมาชิก (private member's bill)

ในท้องที่ที่สภานิติบัญญัติประกอบด้วยสภาย่อยหลายสภา ร่างกฎหมายอาจต้องเสนอต่อสภาย่อยสภาใดสภาหนึ่งก่อน เช่น ในสหราชอาณาจักร ร่างกฎหมายที่กำหนดภาษีหรือที่เกี่ยวข้องกับการคลังสาธารณะต้องเสนอต่อสภาสามัญชนก่อน ขณะที่ร่างกฎหมายซึ่งมาจากการริเริ่มของคณะกรรมาธิการกฎหมายต้องเสนอต่อสภาขุนนางก่อน

เมื่อมีการเสนอแล้ว ร่างกฎหมายจะผ่านขั้นตอนบางประการกว่าจะบรรลุเป็นกฎหมายได้ ในทางทฤษฎีแล้ว ข้อนี้เพื่อให้มีการอภิปรายเกี่ยวกับร่างนั้นอย่างละเอียด และให้มีเสนอ อภิปราย และให้ความเห็นชอบต่อการแก้ไขเพิ่มเติมร่างเดิมได้

ในกรณีที่สภานิติบัญญัติมีหลายสภาย่อย ร่างกฎหมายที่สภาย่อยสภาหนึ่งเห็นชอบแล้ว จะส่งให้สภาย่อยอีกสภาหนึ่งเห็นชอบต่อ จากนั้น ร่างกฎหมายจะได้รับการอนุมัติซึ่งโดยทั่วไปแล้วเป็นเพียงพิธีการและผู้อนุมัติมักเป็นประมุขแห่งรัฐ

ในบางประเทศ เป็นต้นว่า ฝรั่งเศส เบลเยียม ลักเซมเบิร์ก สเปน และโปรตุเกส ใช้คำเรียกร่างกฎหมายแต่ละประเภทต่างกัน เช่น ร่างกฎหมายที่ฝ่ายบริหารเสนอต่อสภานิติบัญญัติ เรียกว่า "draft" และที่สภานิติบัญญัติริเริ่มเอง เรียกว่า "proposition"
# ศาลจังหวัด
ศาลจังหวัด เป็นศาลยุติธรรมชั้นต้นที่มีกฎหมายจัดตั้งขึ้นในแต่ละจังหวัดหรือในบางอำเภอศาลจังหวัดจาก ไทยรัฐ มีเขตอำนาจศาลตามที่พระราชบัญญัติกำหนดเป็นลายลักษณ์อักษรเอาไว้ มีอำนาจพิจารณาพิพากษาคดีแพ่งและคดีอาญาทั้งปวงที่มิได้อยู่ในอำนาจของศาลยุติธรรมอื่นอำนาจพิจารณาคดีของศาลจังหวัด ในกรณีที่มีการยื่นฟ้องคดีต่อศาลจังหวัด และคดีนั้นเกิดขึ้นในเขตของศาลแขวงและอยู่ในอำนาจของศาลแขวง ศาลจังหวัดนั้นต้องมีคำสั่งโอนคดีไปยังศาลแขวงที่มีเขตอำนาจ

 เขตอำนาจศาล 

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

รายชื่อศาลจังหวัดที่มิได้ตั้งตามเขตจังหวัด
 สำนักงานศาลยุติธรรมภาค 1
 ศาลจังหวัดธัญบุรี  (จังหวัดปทุมธานี)
 ศาลจังหวัดพระประแดง (จังหวัดสมุทรปราการ)
 ศาลจังหวัดชัยบาดาล (จังหวัดลพบุรี)

 สำนักงานศาลยุติธรรมภาค 2
 ศาลจังหวัดพัทยา (จังหวัดชลบุรี)
 ศาลจังหวัดกบินทร์บุรี  (จังหวัดปราจีนบุรี)
 สำนักงานศาลยุติธรรมภาค 3
 ศาลจังหวัดภูเขียว (จังหวัดชัยภูมิ)
 ศาลจังหวัดบัวใหญ่ (จังหวัดนครราชสีมา)
 ศาลจังหวัดพิมาย (จังหวัดนครราชสีมา)
 ศาลจังหวัดสีคิ้ว (จังหวัดนครราชสีมา) 
 ศาลจังหวัดสีคิ้ว สาขาปากช่อง (นครราชสีมา)
 ศาลจังหวัดนางรอง (จังหวัดบุรีรัมย์)
 ศาลจังหวัดรัตนบุรี (จังหวัดสุรินทร์)
 ศาลจังหวัดกันทรลักษ์ (จังหวัดศรีสะเกษ)
 ศาลจังหวัดเดชอุดม (จังหวัดอุบลราชธานี)
 สำนักงานศาลยุติธรรมภาค 4
 ศาลจังหวัดพล (จังหวัดขอนแก่น)
 ศาลจังหวัดชุมแพ (จังหวัดขอนแก่น)
 ศาลจังหวัดสว่างแดนดิน (จังหวัดสกลนคร)
 สำนักงานศาลยุติธรรมภาค 5
 ศาลจังหวัดฝาง (จังหวัดเชียงใหม่)
 ศาลจังหวัดฮอด (จังหวัดเชียงใหม่)
 ศาลจังหวัดเทิง (จังหวัดเชียงราย)
 ศาลจังหวัดเชียงคำ (จังหวัดพะเยา)
 ศาลจังหวัดแม่สะเรียง (จังหวัดแม่ฮ่องสอน)

 สำนักงานศาลยุติธรรมภาค 6
 ศาลจังหวัดแม่สอด (จังหวัดตาก) 
 ศาลจังหวัดหล่มสัก (จังหวัดเพชรบูรณ์)
 ศาลจังหวัดวิเชียรบุรี (จังหวัดเพชรบูรณ์)
 ศาลจังหวัดสวรรคโลก (จังหวัดสุโขทัย)

 สำนักงานศาลยุติธรรมภาค 7
 ศาลจังหวัดทองผาภูมิ (จังหวัดกาญจนบุรี)คดีเสือดำ: เปรมชัย กรรณสูต สิ้นอิสรภาพ หลังศาลฎีกาพิพากษาจำคุก 2 ปี 14 เดือน ไม่รอลงอาญา
 ศาลจังหวัดหัวหิน (จังหวัดประจวบคีรีขันธ์)
 สำนักงานศาลยุติธรรมภาค 8
 ศาลจังหวัดหลังสวน (จังหวัดชุมพร)
 ศาลจังหวัดปากพนัง (จังหวัดนครศรีธรรมราช)
 ศาลจังหวัดทุ่งสง (จังหวัดนครศรีธรรมราช)
 ศาลจังหวัดตะกั่วป่า (จังหวัดพังงา)
 ศาลจังหวัดเวียงสระ (จังหวัดสุราษฎร์ธานี) 
 ศาลจังหวัดไชยา (จังหวัดสุราษฎร์ธานี)
 ศาลจังหวัดเกาะสมุย (จังหวัดสุราษฎร์ธานี)
 สำนักงานศาลยุติธรรมภาค 9
 ศาลจังหวัดเบตง (จังหวัดยะลา)
 ศาลจังหวัดนาทวี (จังหวัดสงขลา)
# โปรแกรมแปล
"ตัวแปล" เปลี่ยนทางมาที่นี่ ระวังสับสนกับ ตัวแปร
โปรแกรมแปลศัพท์บัญญัติ ราชบัณฑิตยสถาน  (สืบค้นออนไลน์)  คือโปรแกรมคอมพิวเตอร์ที่แปลชุดคำสั่งของภาษาโปรแกรมหนึ่ง ไปเป็นชุดคำสั่งของอีกภาษาโปรแกรมหนึ่ง โดยความหมายดั้งเดิมไม่สูญเสียไป โปรแกรมแปลภาษาระดับสูงบางตัวจะเปลี่ยนแปลงตรรกะบางอย่าง หรือทำตรรกะให้ง่ายขึ้นโดยผลลัพธ์ยังเป็นเช่นเดิม

 ประเภท 
 คอมไพเลอร์ (compiler) - โปรแกรมแปลภาษาระดับสูงเป็นภาษาแอสเซมบลีหรือภาษาเครื่อง
 อินเทอร์พรีเตอร์ (interpreter) - โปรแกรมแปลภาษาระดับสูงเป็นรหัสที่สามารถทำงานได้ทันที
 ดีคอมไพเลอร์ (decompiler) - โปรแกรมแปลภาษาเครื่องหรือภาษาปลายทางกลับไปเป็นรหัสต้นฉบับ
 แอสเซมเบลอร์ (assembler) - โปรแกรมแปลภาษาแอสเซมบลีเป็นภาษาเครื่อง
 ดิสแอสเซมเบลอร์ (disassembler) - โปรแกรมแปลภาษาเครื่องกลับเป็นภาษาแอสเซมบลี
# บ้านใร่กาแฟ
บ้านใร่กาแฟ เป็นร้านกาแฟที่เปิดตามสถานีบริการน้ำมัน เส้นทางสายต่างๆ ของ ภาคเหนือ ภาคตะวันออกเฉียงเหนือ และ ภาคใต้ โดยเปิดครั้งแรกเมื่อ พ.ศ. 2540บ้านไร่กาแฟ

 ประวัติ 
ปี พ.ศ. 2538 - พ.ศ. 2540 นายสายชล เพยาว์น้อย เจ้าของธุรกิจบ้านใร่กาแฟเป็นคนที่ชอบเดินทางศึกษาวัฒนธรรมไปตามเส้นเดินทางสายต่าง ๆ ทั้งภาค ภาคอีสาน ภาคเหนือภาคใต้ ตลอดการเดินทางมักจะแวะดื่มกาแฟกระป๋องตามสถานีบริการน้ำมัน  ครั้งเดินทางไปยังสายอีสานได้พบกาแฟแบบชาวบ้านตั้งซุ้ม โต๊ะ ในสถานีบริการน้ำมัน แบบคั่วชง มีจุดเด่นในด้านรสชาติ และ วิธีการในการนำเสนอ ลูกค้าจะเห็นกรรมวิธี และ ลีลาการชงกาแฟของชาวบ้านดูมีศิลปะเพิ่มคุณค่าให้กาแฟในแก้วนั้น ๆ ปรุงแบบแก้วต่อแก้ว ใช้กาแฟคั่วใหม่จากภาชนะที่ฝาปิดสนิทบดสด ๆ ชงสด ๆ จึงนำแนวทางของชาวบ้านมานำเสนอในรูปแบบของบ้านใร่กาแฟ คือ เพิ่มอาคารกาแฟ จัดการความสะอาด ความสะดวกสบาย เป็นระบบธุรกิจ เพิ่มแนวคิดทางสถาปัตยกรรม เป็นอาคารทรงไทยโมเดิร์น จัดการภูมิทัศน์โดยรอบ
บ้านใร่กาแฟสร้างสาขาแรกที่สถานีบริการน้ำมัน ปตท.รังสิต – องค์รักษ์คลอง 7 เมื่อวันที่ 21 ธันวาคม พ.ศ. 2540 โดยมีชื่อว่าบ้านแรก สาขาบ้าน 9 มีสัญลักษณ์เป็นใบไม้สีเขียว หลังเปิดได้ 13 วัน เช้าวันที่ 2 มกราคม พ.ศ. 2541 เกิดอุบัติเหตุรถเข้าพุ่งชนร้าน ต้องปิดร้านโดยฉับพลัน จากนั้นจึงสร้างสาขา 9/2 เมื่อวันที่ 7 มีนาคม พ.ศ. 2541 ในสถานีบริการน้ำมัน JET และออกแบบใหม่เป็นอาคารทรงสามเหลี่ยม ซึ่งรูปแบบตัดมาจากหน้าบานบ้านทรงไทย จากนั้นได้รับโอกาสจากบริษัท CONOCO ประเทศไทย JET อนุมัติให้ก่อสร้างในแบบบ้าน 8 (บ้านกรุง) บนเส้นทางถนนพหลโยธินเป็นสาขาแรกในสถานีบริการฯของ JET เปิดทำการขายวันที่ 21 เมษายน พ.ศ. 2541 ซึ่งเป็นสาขาบ้านสามเหลี่ยมแรก ปี พ.ศ. 2542 ได้เปลี่ยนชื่อเป็นบ้านใร่กาแฟซึ่งได้แนวความคิดจาก สังคมและภูมิปัญญาของชาวบ้านของไทย ในปี พ.ศ. 2549 มีสาขาทั้งหมด 110 สาขา

 แหล่งข้อมูลอื่น ๆ
 www.banriecoffee.com
 www.facebook.com/banriethailand
 www.twitter.com/banriecoffee
# คอนเสิร์ตไลฟ์เอท
คอนเสิร์ตไลฟ์ 8  เป็นชุดคอนเสิร์ตและงานที่จัดขึ้นในวันที่ 2 กรกฎาคม และ 6 กรกฎาคม พ.ศ. 2548 ในประเทศกลุ่ม จี 8 และแอฟริกาใต้ คอนเสิร์ตถูกกำหนดให้จัดขึ้นก่อนการประชุมสุดยอดผู้นำของประเทศในจี 8 ที่จะจัดขึ้นที่โรงแรม Gleneagles ใน Perthshire สก็อตแลนด์ ในเดือนกรกฎาคม พ.ศ. 2548, และประจวบกับวาระครบรอบ 20 ปี ของคอนเสิร์ตไลฟ์เอด  อีกด้วย คอนเสิร์ตที่จัดขึ้นในเวลาเดียวกันกับการรณรงค์เพื่อให้ความยากจนเป็นอดีตในสหราชอาณาจักร มีเป้าหมายเพื่อสร้างแรงกดดันกับกลุ่มผู้นำโลก ให้ปลดหนี้แก่ประเทศที่ยากจน เพิ่มหรือปรับปรุงการให้การช่วยเหลือ และเปิดการเจรจาเพื่อกฎเกณฑ์การค้าที่เสมอภาคและเอื้อประโยชน์ให้กับประเทศยากจนยิ่งขึ้น

บ็อบ เกลดอฟ เป็นหัวเรือใหญ่ในการจัดงานเหล่านี้ และนอกจากจะมีศิลปินนักร้องนักแสดงเข้าร่วมมากกว่า 1,000 คน เช่น วิลล์ สมิท, มาดอนน่า และ เซอร์ พอล แมคคาร์ทนีย์ แล้ว ยังมีบุคคลผู้มีชื่อเสียงของโลกเข้าร่วมมากมาย เช่น โคฟี อันนัน, เนลสัน แมนเดลลา, และ บิล เกตส์ เป็นต้น

การแสดงที่มีชื่อเสียงที่สุดของ ไลฟ์เอท คือการกลับมารวมตัวของสมาชิกดั้งเดิมของพิงค์ ฟลอยด์ เป็นครั้งแรกในรอบ 24 ปี หลังจากที่สมาชิก 3 คน คือ เดวิด กิลมอร์, นิค เมสัน และริค ไรต์ บาดหมางกับโรเจอร์ วอเทอร์ส การแสดงชุดนี้เป็นการแสดงชุดก่อนสุดท้ายของวันที่ 2 กรกฎาคม 2548 ที่ลอนดอน http://www.oknation.net/blog/adayinthelife/2007/03/10/entry-1

คอนเสิร์ตไลฟ์เอท (Live Eight) นั้น ตั้งขึ้นให้พ้องกับชื่อ คอนเสิร์ตไลฟ์เอด  และเลข 8 ก็สื่อถึง 8 กลุ่มประเทศผู้นำทางเศรษฐกิจ

 สถานที่จัดคอนเสิร์ต 

10 คอนเสิร์ต ในทุกประเทศสมาชิก G8 และแอฟริกาใต้; 9 คอนเสิร์ตในวันที่ 2 ก.ค. และ 1 คอนเสิร์ตในวันที่ 6 ก.ค. 2548
 สวนสาธารณะไฮด์ปาร์ก, ลอนดอน, สหราชอาณาจักร
 จัตุรัส Mary Fitzgerald, นิวทาวน์, โยฮันเนสเบิร์ก, แอฟริกาใต้
 อนุสาวรีย์ชัย ซีเกสซอยเลอ, เบอร์ลิน, เยอรมนี
 Circus Maximus, โรม, อิตาลี
 พิพิธภัณฑ์ศิลปะ, เมืองฟิลาเดลเฟีย รัฐเพนซิลเวเนีย สหรัฐอเมริกา
 Park Place, Barrie (ใกล้ โทรอนโต) , ออนตาริโอ, แคนาดา
 จัตุรัสแดง, มอสโก, รัสเซีย
 พระราชวัง Versailles, ใกล้ปารีส, ฝรั่งเศส
 ศูนย์แสดงสินค้า Makuhari Messe, โตเกียว, ญี่ปุ่น
 Eden Project, คอร์นวอลล์, อังกฤษ สหราชอาณาจักร ("Africa Calling", เน้นศิลปินแอฟริกัน)
 สนาม Murrayfield, เอดินบะระ, สกอตแลนด์, สหราชอาณาจักร ("Edinburgh 50,000: The Final Push", จัดในวันที่ 6 ก.ค.)
# ซุนวู (ภาพยนตร์)
ชีวประวัติของ ซุนวู ถูกทำมาเป็นภาพยนตร์ในรูปแบบของ ดีวีดี ในประเทศไทย โดยทำเป็นภาพยนตร์จีนชุด 22 ตอน (ดีวีดี 8 แผ่น) โดยใช้ชื่อว่า ซุนวู และสโลแกนว่า "รู้เขา รู้เรา รบ 100 ครั้ง ชนะ 100 ครั้ง"  จัดทำโดย บจก. ยูนิเวอร์แซล พิคเจอร์ส (ไทยแลนด์) จากต้นฉบับเดิมโดย CCTV แห่งสาธารณรัฐประชาชนจีน สำหรับในไทย ได้ คุณก่อศักดิ์ ไชยรัศมีศักดิ์ ประธาน บริษัท ซี.พี.เซเว่นอีเลฟเว่น จำกัด (มหาชน) มาเป็นพรีเซ็นเตอร์ ให้ดีวีดีชุดนี้

 คุณสมบัติของแผ่นดีวีดี 

 เสียงในฟิล์มบรรยายไทย และ เสียงพากย์ไทย
 ระบบภาพ ระบบ PAL
 ระบบเสียง Dolby Digital
# โชงากูกัง
thumb|250px|ตึกสำนักงานเก่าโชงากูกัง
thumb|250px|ตึกสำนักงานใหม่โชงากูกัง ชิโยดะ (โตเกียว) ประเทศญี่ปุ่น

สำนักพิมพ์โชงากูกัง   เป็นสำนักพิมพ์ใหญ่ในประเทศญี่ปุ่น ตีพิมพ์ พจนานุกรม นิยาย หนังสือการ์ตูน และสื่อต่าง ๆ ผลิตแผ่น ลิขสิทธิ์อนิเมะและลิขสิทธิ์ภาพยนตร์ ตั้งอยู่ที่ เมืองโตเกียว ประเทศญี่ปุ่น ก่อตั้งเมื่อ 8 สิงหาคม 1922 โดยทาเกโอะ โองะ ปัจจุบันประธานบริษัทคือ มาซาฮิโระ โองะ (หลาน) 

สำนักพิมพ์โชงากูกังตั้งขึ้นโดยมีจุดมุ่งหมายตีพิมพ์สื่อความรู้ต่าง ๆ สำหรับโรงเรียนประถม และคู่มือการเรียนการสอนสำหรับอาจารย์ และนักเรียน และได้ขยายกิจการ หนังสือรวมไปถึง พจนานุกรมและสารานุกรม ในปี พ.ศ. 2502 สำนักพิมพ์ได้ตีพิมพ์นิตยสารการ์ตูนเล่มแรก ซึ่งใช้ชื่อว่า โชเน็งซันเดย์ จำหน่ายครั้งแรกเมื่อวันที่ 17 มีนาคม พ.ศ. 2502 และ โคโระโคโระคอมมิก จำหน่ายเมื่อวันที่ 15 พฤษภาคม พ.ศ. 2520 ก็ได้ตีพิมพ์การ์ตูนเรื่องโดราเอมอน ส่วนการ์ตูนเรื่องอื่น ๆ ที่ตีพิมพ์โดยโชงากูกังและเป็นที่นิยม ได้แก่ รันม่า 1/2, แฮมทาโร่, อินุยาฉะ, ยอดนักสืบจิ๋วโคนัน, โปเกมอน

นอกจากนี้ โชงากูกังยังได้ตีพิมพ์นิตยสารแฟชั่นที่เป็นรู้จักกันดีในญี่ปุ่น ได้แก่ CanCam ในปัจจุบันโชงากูกังตีพิมพ์หนังสือการ์ตูนมากกว่าหนึ่งล้านเล่มต่อปี
# ค่าคงตัวของพลังค์
ค่าคงตัวของพลังค์  เขียนแทนด้วยสัญลักษณ์  นั้นได้ชื่อมาจาก มักซ์ พลังค์ ซึ่งเป็นหนึ่งในผู้บุกเบิกทฤษฎีกลศาสตร์ควอนตัม ค่าคงตัวของพลังค์เป็นปริมาณที่เกี่ยวข้องกับขนาดของควอนตา (quanta) และมีค่าเท่ากับ

หรือเขียนในหน่วยอิเล็กตรอนโวลต์ได้เท่ากับ

ค่าคงตัวของพลังค์มีหน่วยเป็นพลังงานคูณกับเวลา ซึ่งเป็นหน่วยวัด action นั่นเอง หรืออาจเขียนได้ในหน่วยของโมเมนตัมคูณระยะทางเช่นกัน

ปริมาณอีกอย่างซึ่งมีความเกี่ยวข้องกัน คือ ค่าคงตัวของพลังค์แบบลดค่า (reduced Planck constant) หรือบางครั้งเรียกว่าค่าคงตัวของดิแรค

เมื่อ π คือค่าคงที่พาย ชื่อเรียกปริมาณนี้อ่านออกเสียงว่า เอช-บาร์

ตัวเลขที่ใช้ในที่นี้เป็นตัวเลขที่สำนักงานชั่งตวงวัดระหว่างประเทศ (International Bureau of Weights and Measures) ซึ่งได้ทำการแก้ไขนิยามของ ระบบหน่วยวัดระหว่างประเทศ กำหนดขึ้นใน ที่ประชุมใหญ่ว่าด้วยการชั่งตวงวัด ครั้งที่ 26 ในปี 2019

เราใช้ค่าคงตัวของพลังค์ในการอธิบายควอนไทเซชั่น (quantization) ซึ่งเป็นปรากฏการณ์ที่เกิดขึ้นในระดับขนาดที่เล็กมาก ๆ เช่น สำหรับอนุภาคอย่างอิเล็กตรอนและโฟตอน โดยคุณสมบัติทางฟิสิกส์บางอย่างของอนุภาคเหล่านี้จะมีค่าที่เป็นไปได้เป็นจำนวนเท่าของค่าคงตัวหนึ่งเท่านั้น แทนที่จะมีค่าใด ๆ ก็ได้ ตัวอย่างเช่น พลังงาน E ของแสงที่มีความถี่ ν จะมีค่าได้เป็น

เท่านั้น เมื่อ n เป็นจำนวนเต็มบวกใด ๆ

บางครั้งเป็นการสะดวกกว่าที่จะเขียนปริมาณนี้ในหน่วยของความถี่เชิงมุม ω = 2 π ν, ซึ่งจะเขียนได้เป็น

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

เท่านั้น ดังนั้นเราสามารถเรียก  ได้เป็นควอนตาของโมเมนตัมเชิงมุม

ค่าคงตัวของพลังค์ยังปรากฏในหลักความไม่แน่นอนของไฮเซนเบอร์กด้วย โดยความไม่แน่นอนในการวัดตำแหน่ง Δx และความไม่แน่นอนในการวัดโมเมนตัม Δp ของระบบใด ๆ จะมีความสัมพันธ์กันเป็น

นอกจากปริมาณสองอย่างนี้แล้ว ยังมีปริมาณทางฟิสิกส์อีกหลายคู่ที่มีสมบัติเป็นไปตามกฎความไม่แน่นอนที่คล้ายกันนี้

ในบางเบราว์เซอร์ สัญลักษณ์ยูนิโค้ด ℎ (ℎ) จะถูกแสดงผลเป็นสัญลักษณ์ค่าคงตัวของพลังค์ และสัญลักษณ์ ℏ (ℏ) จะถูกแสดงผลเป็นค่าคงตัวของดิแรค
# บัตรตราไปรษณียากรที่ระลึก
บัตรตราไปรษณียากรที่ระลึก  เป็นรูปแบบการจำหน่ายแสตมป์สำหรับการสะสมแบบหนึ่ง โดยมีลักษณะเป็นการ์ดแข็งภายในติดเมาท์และบรรจุแสตมป์ครบชุด บนการ์ดอาจมีการพิมพ์รายละเอียดต่าง ๆ เกี่ยวกับแสตมป์เช่น ชื่อชุด คำอธิบายภาพบนแสตมป์ เป็นต้น
# โคชิเอ็ง
สนามกีฬาฮันชิงโคชิเอ็ง หรือชื่อเดิมว่า สนามกีฬาโคชิเอ็ง  เป็นสนามเบสบอล ตั้งอยู่ในเมืองนิชิโนมิยะ จังหวัดเฮียวโงะ ประเทศญี่ปุ่น เปิดใช้เมื่อ 1 เมษายน พ.ศ. 2467 จุคนได้ 53,000 คน โดยเป็นสนามกีฬาที่ใหญ่ที่สุดในเอเชียในขณะนั้น สร้างขึ้นเพื่อรับรองการแข่งขันเบสบอลโคชิเอ็ง ของโรงเรียนในระดับมัธยมปลาย ในเดือนสิงหาคมและมีนาคม

ในปี พ.ศ. 2479 ได้มาเป็นสนามกีฬาประจำทีมเบสบอล ฮันชิง ไทเกอร์ ประจำจังหวัดเฮียวโงะ และได้เปลี่ยนชื่อสนามมาเป็น สนามกีฬาฮันชิงโคชิเอ็ง ลักษณะสถาปัตยกรรม ได้รับอิทธิพลมาจาก สนามโปโลกราวส์ ในนครนิวยอร์ก

ผู้ตีโฮมรันระดับตำนานอย่างเบบ รูธ ได้เล่นในรายการแข่งขันที่โคชิเอ็งในการทัวร์ประเทศญี่ปุ่นของเขาเมื่อปี ค.ศ. 1934 และได้มีการมอบแผ่นประกาศเกียรติคุณเพื่อระลึกถึงการมาเยือนที่สนามกีฬาแห่งนี้

 การซ่อมแซมในศตวรรษที่ 21 
เนื่องจากแผ่นดินไหวครั้งใหญ่ฮันชิง พ.ศ. 2538 ทำให้เกิดรอยร้าวและส่วนหนึ่งของอัฒจันทร์ได้ทรุดตัวลง เดือนกรกฎาคม พ.ศ. 2547 ได้มีแผนทำคอนกรีตผิวหน้าให้ดีขึ้น

 การปรากฏในนิยาย 
โคชิเอ็งมักปรากฏในมังงะซีรีส์เบสบอลเป็นส่วนใหญ่หลายเรื่อง ซึ่งประกอบด้วย ทัช, ครอสเกม และเอชทู โดยมิตสึรุ อาดาจิ และในผลงานของนักเขียนอื่น ๆ เช่น Big Windup! ของอาซะ ฮิงูจิ และมือใหม่ไฟแรง โดยมาซาโนริ โมะริตะ รวมถึงมีการกล่าวถึงในถนนนักสู้สู่ทีมเบสบอล ที่โคชิเอ็งเป็นเป้าหมายของทีมเบสบอลมัธยมปลายทุกทีมที่ต้องการไปให้ถึง ชื่อของสนามแห่งนี้ยังเป็นส่วนหนึ่งในอนิเมะปรินเซสไนน์ และเหตุการณ์ที่เกิดขึ้น 2 ชั่วโมงในยอดนักสืบจิ๋วโคนัน ตอนพิเศษที่มีชื่อว่าปาฏิหาริย์แห่งโคชิเอน ไม่ยอมแพ้ปิศาจที่มองไม่เห็น ซึ่งเป็นเหตุการณ์ที่เกิดขึ้นในสนามกีฬา ตลอดจนไลท์โนเวลกับอนิเมะฉบับดัดแปลงอย่างสึซึมิยะ ฮารุฮิ (โดยเฉพาะตอนเสียงถอนหายใจของสึซึมิยะ ฮารุฮิ ตอนที่ 5) โดยมีคำอธิบายของฮารุฮิที่ว่าทำไมเธอถึงค้นหาพลังเหนือธรรมชาติที่เกี่ยวข้องกับเบสบอล ซึ่งเธอได้เข้าสำรวจพร้อมกับครอบครัวของเธอในโคชิเอ็ง สนามกีฬาแห่งนี้ยังปรากฏในฐานะฉากเกมต่อสู้ เดอะคิงออฟไฟท์เตอร์ส '97 โดยมีผู้ชมอย่างเนืองแน่นและได้รับการแปลงเป็นสังเวียนศึก KOF และมีปรากฏในมังงะซีรีส์เบสบอลเรื่อง ace of diamond อีกด้วย
# งานแสดงตราไปรษณียากรแห่งชาติ
งานแสดงตราไปรษณียากรแห่งชาติ (หรือ THAIPEX) เป็นงานที่จัดโดยไปรษณีย์ของไทยเป็นประจำทุกสองปี ในงานมีการจัดแสดงและประกวดแสตมป์จากนักสะสมในระดับประเทศ ไม่ว่าจะเป็นเยาวชนหรือผู้ใหญ่ มีการออกร้านของร้านขายแสตมป์จำนวนมาก ในบางปีเป็นการจัดงานระดับโลก ซึ่งมีผู้นำแสตมป์เข้าประกวดจากนานาชาติ และเรียกงานเป็น งานแสดงตราไปรษณียากรระหว่างประเทศ (พ.ศ. 2526) หรือ งานแสดงตราไปรษณียากรโลก (พ.ศ. 2536 และ 2546) เป็นต้น

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

 รายละเอียดของงาน 
 ชื่องาน  ชื่อย่อ  สถานที่จัด  วันที่ งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 1  THAILANDPEX '71  ห้องโถง ที่ทำการไปรษณีย์กลาง บางรัก  4-8 สิงหาคม พ.ศ. 2514 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 2  THAIPEX '73  ห้องโถง ที่ทำการไปรษณีย์กลาง บางรัก  4-8 สิงหาคม พ.ศ. 2516 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 3  THAIPEX '75  โรงละครเล็ก โรงละครแห่งชาติ  4-10 สิงหาคม พ.ศ. 2518 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 4  THAIPEX '77  หอสมุดแห่งชาติ ท่าวาสุกรี  4-12 สิงหาคม พ.ศ. 2520 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 5  THAIPEX '79  โรงละครเล็ก โรงละครแห่งชาติ  4-12 สิงหาคม พ.ศ. 2522 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 6  THAIPEX '81  โรงละครเล็ก โรงละครแห่งชาติ  4-12 สิงหาคม พ.ศ. 2524 งานแสดงตราไปรษณียากรระหว่างประเทศ กรุงเทพฯ 2526  BANGKOK 1983  อาคารใหม่ สวนอัมพร  4-13 สิงหาคม พ.ศ. 2526 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 7  THAIPEX '85  เซ็นทรัล ลาดพร้าว  4-13 สิงหาคม พ.ศ. 2528 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 8  THAIPEX '87  เซ็นทรัล ชิดลม  4-13 สิงหาคม พ.ศ. 2530 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 9 (งานแสดงตราไปรษณียากรภาคพื้นเอเชีย ครั้งที่ 4) THAIPEX '89  เซ็นทรัล ลาดพร้าว 4-13 สิงหาคม พ.ศ. 2532 (4-8 สิงหาคม พ.ศ. 2532) งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 10  THAIPEX '91  เซ็นทรัล ลาดพร้าว 4-13 สิงหาคม พ.ศ. 2534 งานแสดงตราไปรษณียากรโลก กรุงเทพฯ 2536  BANGKOK 1993  ศูนย์การประชุมแห่งชาติสิริกิติ์  1-10 ตุลาคม พ.ศ. 2536 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 11  THAIPEX '95  เซ็นทรัล ลาดพร้าว 4-13 สิงหาคม พ.ศ. 2538 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 12  THAIPEX '97  ศูนย์การค้าแฟชั่นไอส์แลนด์  2-12 สิงหาคม พ.ศ. 2540 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 13  THAIPEX '99  ศูนย์การประชุมแห่งชาติสิริกิติ์  4-15 สิงหาคม พ.ศ. 2542 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 14  THAIPEX '01  อิมแพ็ค เมืองทองธานี  4-13 สิงหาคม พ.ศ. 2544 งานแสดงตราไปรษณียากรโลก กรุงเทพฯ 2546  BANGKOK 2003  อิมแพ็ค เมืองทองธานี  4-13 ตุลาคม พ.ศ. 2546 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 15  THAIPEX '05  อิมแพ็ค เมืองทองธานี  3-7 สิงหาคม พ.ศ. 2548 งานแสดงตราไปรษณียากรภาคพื้นเอเชีย 2550 (ครั้งที่ 20)  BANGKOK 2007  สยามพารากอน  3-12 สิงหาคม พ.ศ. 2550 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 16  THAIPEX '09  สยามพารากอนไอซีที เปิดงานแสดงตราไปรษณียากรแห่งชาติ ThaiPex’09  4-9 สิงหาคม พ.ศ. 2552 งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 17  THAIPEX '11  สยามพารากอน4-10 สิงหาคม พ.ศ. 2554 งานแสดงตราไปรษณียากรโลก กรุงเทพฯ 2556  THAILAND 2013  สยามพารากอน  2-14 สิงหาคม พ.ศ. 2556งานแสดงตราไปรษณียากรแห่งชาติ ครั้งที่ 18  THAIPEX '15  ห้องโถง ที่ทำการอาคารไปรษณีย์กลาง4-10 สิงหาคม พ.ศ. 2558งานแสดงตราไปรษณียากรแห่งชาติ พ.ศ. 2558 Thailand Philatelic Exhibition 2015 (THAIPEX 2015)
# บือคีออโตมาตอน
บือคีออโตมาตอน (Büchi automaton) ตั้งชื่อตาม Julius Richard Büchi นักคณิตศาสตร์ชาวสวิส ใช้สำหรับการคำนวณซึ่งมีลักษณะเป็นอนันต์ คือการคำนวณนั้นดำเนินเรื่อยไปไม่มีสิ้นสุด การประยุกต์ใช้บือคีออโตมาตานั้น มีตัวอย่างในด้าน formal method เช่น ตรรกและการให้เหตุผลในระบบรีแอคทีฟ (reactive system)
และ การตรวจสอบโมเดล (model checking)

 สัญลักษณ์ 
สัญลักษณ์ที่ใช้ในหัวข้อนี้:
 : เซตจำกัด ของอักษร
 : เซตของคำจำกัด
 : เซตของคำ (-words หรือ -sequences)

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

เราเรียกการยอมรับคำแบบนี้ว่าการยอมรับแบบบือคี (Büchi acceptance)
# ทฤษฎีออโตมาตา
ทฤษฎีออโตมาตา (Automata theory) เป็นสาขาหนึ่งของวิทยาการคอมพิวเตอร์ที่ศึกษาเครื่องจักรสถานะจำกัด ผ่านทางวัตถุทางคณิตศาสตร์ที่แสดงเครื่องจักรเหล่านั้น

ออโตมาตา
ออโตมาตา รูปพหูพจน์ ออโตมาตา (automata), รูปเอกพจน์ ออโตมาตอน (automaton)  ความหมายโดยตัวศัพท์หมายถึง เครื่องกลซึ่งเคลื่อนที่หรือทำงานได้ด้วยตนเอง. ในสาขาวิทยาการคอมพิวเตอร์นั้น ใช้ออโตมาตา เพื่อเป็นโมเดลทางคณิตศาสตร์ของ เครื่องจักรสถานะจำกัด

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

คุณลักษณะของออโตมาตา
 ประกอบด้วยสถานะ (states), ฟังก์ชันการเปลี่ยนสถานะ (transition function), สถานะเริ่มต้น (initial states) และ สถานะการยอมรับ (accepting states) 
 รับอินพุตจากภายนอกระบบเข้าอย่างต่อเนื่อง เรียกอินพุตที่รับเข้ามานี้ว่าตัวอักษร (alphabets)
 ลำดับของตัวอักษรที่เป็นอินพุตซึ่งรับเข้ามาเรื่อย ๆ นั้น เรียกว่า คำ (words)
 มีการเปลี่ยนสถานะตามที่กำหนดโดยฟังก์ชันการเปลี่ยนสถานะ อันเป็นไปตามตัวอักษรที่รับอินพุตเข้ามา
 เมื่อหยุดการรับอินพุต หากออโตมาตาอยู่ในสถานะการยอมรับ ถือว่าออโตมาตายอมรับคำที่เป็นอินพุตนั้น แต่ถ้าออโตมาตาอยู่นอกสถานะการยอมรับ ถือว่าออโตมาตาปฏิเสธคำที่เป็นอินพุตนั้น
 เซตของคำทั้งหมดที่ออโตมาตานั้นยอมรับเรียกว่า ภาษา ซึ่งยอมรับโดยออโตมาตานั้น

ประเภทของออโตมาตา
 ออโตมาตาเชิงกำหนด (Deterministic Finite Automata; DFA)
 ออโตมาตาเชิงไม่กำหนด (Nondeterministic Finite Automata; NFA)
 ออโตมาตาเชิงไม่กำหนด ที่มีการเปลี่ยนสถานะด้วยอักษร ε (อักษรว่างเปล่า) (Nondeterministic Finite Automata, with ε transitions (ε-NFA))
 พุชดาวน์ ออโตมาตา (Pushdown Automata; PDA)
 เครื่องคำนวณทัวริ่ง (Turing Machines)
 ออโตมาตาแบบมีขอบเขตเชิงเส้น (Linear Bound Automata; LBA)
# รถสี่ล้อแดง
thumb|การจราจรในเชียงใหม่ และรถสองแถวรู้จักในชื่อ"รถแดง" 

รถสี่ล้อแดง หรือ รถแดง คือรถโดยสารรับจ้าง ในรูปแบบของรถสองแถวขนาดเล็กในตัวอำเภอเมือง เชียงใหม่ โดยผู้ขับรวมตัวในรูปสหกรณ์ ชื่อ สหกรณ์นครลานนาเดินรถ จำกัด  

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

ล่าสุดได้มีโครงการจากมหาวิทยาลัยเชียงใหม่ ได้ทำการวางเส้นทางจำลองวิ่งของรถเมล์ โดยใช้รถสี่ล้อแดงChiangMaiBus เสริมเข้ากับรถเมล์ของทางเทศบาลนครเชียงใหม่