At the top of your solutions, be sure to write down the names of anyone you discussed this assignment with or any resources you used!
Please copy the description of the problem as well as your solution.
Submit your work through Gradescope:
Homework 1: DFAs (autograded)
Homework 1: DFAs (self-assessment & reflection)
You may find it useful that all problems from the Sipser's Theory of Computation (2nd edition) can be found here.
I will be using autograding on Gradescope for the DFAs that you construct. To facilitate this, you will need to:
Create your machines using the automaton simulator. [demo video]
Take a screenshot to save an image of each machine (you’ll need these for your self-assessment & reflection).
Copy/paste the Plaintext description of each machine (by using the Save button) into a plaintext file called homework1.txt, using the template below.
It is important that you:
Name the file exactly homework1.txt (do not add your name, do not capitalize, etc.)
Do not modify the lines that start with “Question” – the numbering that follows is used for checking. You may notice that some of the problems require machines for “simpler” languages as well. The template will first have you submit the machines for the simpler languages before the machine for the intersection/complement.
ONLY have the Plaintext description of your machine between the starting and ending 4 dashes (-)
Keep the starting and ending dashes on NEW lines
Otherwise, your machine will be incorrectly parsed!
You may use the Notes section to provide any notes/questions about the problem for me.
Upload the homework1.txt text file to Gradescope for the Homework 1: DFAs (autograded) assignment.
For the self-assessment & reflection, you’ll need to have a PDF that includes an image of each machine that you created. This will help you identify what went well (or not so well) and what questions you’d like to ask to clarify your understanding. Submit your self-assessment & reflection via Gradescope using Homework 1: DFAs (self-assessment & reflection).
Pick one of the two state diagrams below. Provide a description of the language recognized by the machine in "human-understandable" terms.
From Sipser, 2nd edition (pages 83-84):
1.3
1.4acg
1.5cdf
1.6aei