ภาษาสามารถมี DFA มากกว่าหนึ่งภาษาได้หรือไม่

ตัวอย่างเช่นเมื่อเราพิจารณา DFA ที่อนุญาตให้สตริงไม่มีสตริงย่อย00หรือ11ฉันสามารถสร้าง DFA สองรายการต่อไปนี้:

automata finite-automata

— Madhuri
แหล่งที่มา

ก่อนอื่น DFA ด้านซ้ายของคุณไม่ถูกต้อง - ยอมรับเช่น 011

ประการที่สอง DFAs สามารถถูกย่อให้เล็กสุดได้ดังนั้นในแง่นั้นคุณสามารถค้นหา DFA ซึ่งเป็นที่ยอมรับได้สำหรับภาษาหนึ่ง ๆ

แต่โดยทั่วไปมี DFA ที่แตกต่างกันมากมายสำหรับทุกภาษาดังนั้นคุณสามารถได้คำตอบที่ถูกต้องแตกต่างกัน

— Shaull
แหล่งที่มา

และนั่นก็มากไปจนถึงมอร์ฟิซึ่มส์

— G. Bach

N

$\mathbb{N}$

DFAs ที่แตกต่างกันมากมายอย่างไม่สิ้นสุดสำหรับภาษาที่ จำกัด ?

— Bergi

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

— Shaull

@Shaull: คุณหมายถึงสถานะε-transitions หรือไม่สามารถเข้าถึงได้? ตกลงฉันไม่ได้พิจารณาสิ่งเหล่านั้น

— Bergi