- #1
Proof Check Please: Mastering Two DFA's for Your Tutorial Questions
- Thread starter extatic
- Start date
-
- Tags
- Proof
Click For Summary
Discussion Overview
The discussion revolves around the review of solutions to tutorial questions related to deterministic finite automata (DFA). Participants are seeking feedback on their approaches and correctness of their answers.
Discussion Character
- Homework-related, Technical explanation
Main Points Raised
- One participant requests a proofread of their solutions to tutorial questions.
- Another participant provides feedback indicating that the first solution is acceptable but points out an issue with the second solution regarding the string "01011".
- A subsequent participant acknowledges the feedback and expresses gratitude.
- Further exchanges include confirmations of improvements in the solutions presented.
Areas of Agreement / Disagreement
Participants generally agree on the correctness of the first solution, while there is a specific disagreement regarding the handling of the string "01011" in the second solution, which remains unresolved.
Contextual Notes
The discussion does not clarify the specific conditions under which the second solution fails, nor does it detail the assumptions made in the solutions presented.
- #2
I like Serena
Science Advisor
Homework Helper
MHB
- 16,335
- 258
Your first solution seems fine to me :)
In your second solution the string "01011" will fail when it shouldn't.
In your second solution the string "01011" will fail when it shouldn't.
- #3
extatic
- 6
- 0
you're right!
thank you mate
thank you mate
- #4
I like Serena
Science Advisor
Homework Helper
MHB
- 16,335
- 258
extatic said:
You're welcome!
Oh, and welcome to PF. :)
- #5
- #6
I like Serena
Science Advisor
Homework Helper
MHB
- 16,335
- 258
extatic said:
Perfect! :)
Similar threads
- · Replies 2 ·
Undergrad
Question regarding writing proofs
- · Replies 4 ·
- · Replies 9 ·
- · Replies 6 ·
- · Replies 10 ·
- · Replies 2 ·
- · Replies 16 ·