Computer Science 351 — Information about Assignments
General information about assignments, and descriptions of the assignments, are provided below.
The use of LaTeX and BibTeX is not required. However, these tools provide much better support for typesetting text that includes mathematics than alternatives — and some students might find this to be of interest.
For assignment #1, groups of students will (ideally) follow a design process, described in lectures, to design a deterministic finite automaton for a given language. They will also provide part of a proof of their deterministic finite automaton’s correctness. The assignment is based on material introduced during the second lecture — on May 7 — and in tutorials during the second week of classes — on May 11–12.
Students will complete the assignment in groups of either three or four students. The assignment is in two parts, with the first part due at 11:59 pm on Friday, May 15, and with the second part due at 11:59 pm on Friday, May 22.