Proof Check Please: Mastering Two DFA's for Your Tutorial Questions

  • Thread starter Thread starter extatic
  • Start date Start date
  • Tags Tags
    Proof
AI Thread Summary
The discussion revolves around a user seeking feedback on their solutions to tutorial questions involving Deterministic Finite Automata (DFA). Initial responses indicate that the first solution is correct, while the second solution fails for the string "01011." After receiving constructive criticism, the user makes adjustments and seeks further validation. The final response confirms that the revised solution is now perfect. Overall, the thread emphasizes collaborative learning and peer review in mastering DFA concepts.
extatic
Messages
6
Reaction score
0
Hi Guys,

Attempted a couple of my tut questions, could you please have a proof read over it.

Thank you
 

Attachments

  • question 3.jpg
    question 3.jpg
    21.5 KB · Views: 384
Physics news on Phys.org
Your first solution seems fine to me :)

In your second solution the string "01011" will fail when it shouldn't.
 
you're right!

thank you mate
 
extatic said:
you're right!

thank you mate

You're welcome!

Oh, and welcome to PF. :)
 
Thank you :)

Hows this? better?
 

Attachments

  • question 3.jpg
    question 3.jpg
    21.4 KB · Views: 391
extatic said:
Thank you :)

Hows this? better?

Perfect! :)
 

Similar threads

Can anyone please check/confirm my work on this proof?
Replies
2
Views
2K
  • Sticky
Math Proof Training Camp and Practice Guidelines
Replies
0
Views
3K
I Question regarding writing proofs
Replies
4
Views
1K
Comp Sci Calculating throughput for serial vs parallel
Replies
9
Views
2K
Proving an Inequality: x+y>=2sqrt(xy)
Replies
6
Views
2K
Engineering Please help me make sense of this question in plumbing textbook
Replies
10
Views
2K
MHB Checking Proof of Theorem 6.2.8 Part (ii)
Replies
2
Views
3K
Proofing Calculus 1: Prove (-1)*a=-a
Replies
16
Views
4K
MHB Question: Converting NFA to DFA: Checking for Errors and Improving Technique
Replies
6
Views
3K
I Questions about non existence of GCDs vs (coimages, cokernels)
Replies
12
Views
203

Hot Threads

Recent Insights

Back
Top