search

tgweber / tiscript

Skript "Theoretische Informatik für Problemlöser:innen"
7 stars 7 forks source link

error in the solution of task 2.2. d) #22

Closed oliverp28 closed 3 months ago

oliverp28 commented 11 months ago

When solving problem 2.2 d) on page 66 (script) I came to a different conclusion. The given solution for interpreting the DFA is: "A accepts all words that begin with b or do not end with b." My view is: "A accepts all words that start with a or don't end with b".

The content is in file kap_09.tex on line 30.

Best regards, Oliver Polak

tgweber commented 11 months ago

I guess there is a negation missing, does neither start nor end with b, which is equivalent to your solution. I will fix it asap. Thank you for the hint and please excuse the blip.

tgweber commented 3 months ago

I have to correct both of us. The correct solution is: "A accepts all words that do not start with b (which includes \epsilon) or do not end with b." Since \epsilon does not satrt with a, your answer is lacking. The old version had "does start with b", instead of "does not start with b", which is my version was also insufficient. I will correct it in the next merge.