Here we show that the A_DFA problem is decidable, and introduce "high-level descriptions" of problems. The idea is to simulate the DFA by keeping track of the current input character as well as the current state, then repeatedly look in the transition function for what state to go next. Then, update that current state; at the end, we look to see if this state is a final state, and accept if and only if it is. The language is then decidable because this Turing Machine runs in a finite amount of time.
Easy Theory Website: www.easytheory.org
Become a member: / @easytheory
Donation (appears on streams): streamlabs.com/easytheory1/tip
Paypal: paypal.me/easytheory
Patreon: / easytheory
Discord: / discord
#easytheory
KZitem Live Streaming (Sundays) - subscribe for when these occur.
Social Media:
Facebook Page: / easytheory
Facebook group: / easytheory
Twitter: / easytheory
Merch:
Language Hierarchy Apparel: teespring.com/language-hierar...
Pumping Lemma Apparel: teespring.com/pumping-lemma-f...
If you like this content, please consider subscribing to my channel: / @easytheory
Gold Supporters: Micah Wood
Silver Supporters: Timmy Gy
▶SEND ME THEORY QUESTIONS◀
ryan.e.dougherty@icloud.com
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
Негізгі бет Acceptance for DFAs is Decidable (also, what is a "high-level" description?)
Пікірлер: 3