1. Write a Parnas table that describes the output of the algorithm for finding the roots of a quadratic equation using the quadratic formula.
2. Write a state-machine specification to illustrate the requirements of an automatic banking machine (ABM).