COMP454:: Prog2: Classify an FA as infinite based on description