About CS636 Assignment 1
CS636 Assignment No 1 for Spring 2026 is from Formal Methods. It covers lesson 3: Mathematical models for software specification and verification - Part 2, carries 20 marks and is due on VULMS by 11:59 pm on Monday 9 November 2026. You can request the solution from this page.
- Course
- CS636 Formal Methods
- Assignment
- Assignment No 1
- Semester
- Spring 2026
- Lesson
- 3: Mathematical models for software specification and verification - Part 2
- Total marks
- 20
- End date
- Mon 9 Nov, 11:59 pm
What CS636 Assignment 1 asks
This assignment focuses on modeling an automatic ticket vending machine using formal methods. You are required to analyze the machine's behavior based on specific coin acceptance rules and state transitions. The goal is to define the formal components of a Deterministic Finite Automata (DFA) that governs the ticket issuance process. You will identify the states, input alphabets, and the visual transition diagram for the system.
-
1
Question 1
5 marksIdentify and list the complete set of states for the ticket vending machine. Ensure the states accurately reflect the progression toward the $3.00 total and the return to the initial state.
-
2
Question 2
5 marksDefine the complete set of input alphabets for the machine. Specify the valid coin denominations that the system accepts as inputs.
-
3
Question 3
10 marksDraw the Deterministic Finite Automata (DFA) diagram for the described scenario. Your diagram must incorporate the coin acceptance rules, the $3.00 threshold, self-loops for ignored inputs, and the reset mechanism after ticket collection.
- What to submit
- One document file containing the state set, alphabet set, and the DFA diagram.
- Topics covered
- Deterministic Finite Automata Formal specification State transition diagrams Input alphabets System modeling
A summary of the assignment file, Fall 2026_CS636_1.docx. Download the file for the full wording before you start.
Lesson covered
The questions in this assignment come from this lesson. Read it in the CS636 handout before you open the assignment file, then practise it with the MCQs and past papers.
Solution
The solution has not been added yet. Request it from the download box and it will be added to this page, usually within a day.
Before you submit on VULMS
- 1 Start on the questions in the assignment file now. The solution will be added to this page once it is written.
- 2 Write the final answer in your own words. VU checks assignments for copying, and copied work gets zero marks.
- 3 Save your answer in the file type the assignment file asks for, and name it with your student ID, for example BC260012345.
- 4 Open the file once more to check it is not empty or corrupted, then upload it on VULMS before 11:59 pm on Mon 9 Nov.
Questions about this assignment
When is CS636 Assignment 1 due?
Monday 9 November 2026 at 11:59 pm. VULMS does not accept files after the deadline.
When will the solution be added?
Most solutions are up within a day of a request. Requests tell us which ones to write first, and 0 students have asked for this one so far.
Can I submit the solution as it is?
No. VU checks assignments for copying, and copied work gets zero marks. Use the solution to check your method, then write your own answer.
What file do I submit?
The assignment file says which file type to upload and lists any extra instructions from your instructor. Name the file with your student ID before you upload it on VULMS.