Week 4: quiz
Here is an informal description of a trivial algorithm A: all nodes stop immediately and output "1".
Your task is to formalise this algorithm, using the state machine formalism of Section 4.3. Be precise, be careful. Define all components: Input_A, States_A, Output_A, init_A,d, send_A,d, and receive_A,d.