static void Main(string[] args) { FSM fsm = new FSM(); string line = ""; StreamWriter sw = new StreamWriter("lopez380.html"); sw.WriteLine("<html><meta http-equiv='Content-Type' content='text/html; charset=UTF-8' /><body>"); string inputFile = (args.Length == 0) ? @"/opt/dropbox/15-16/473/project3/fsm-input.utf8.txt" : @args[0]; sw.Write(fsm.Process(line)); using (StreamReader sr = new StreamReader(inputFile)) { while ((line = sr.ReadLine()) != null) { sw.Write(fsm.Process(line)); sw.WriteLine("<br/>"); } } sw.WriteLine("</body></html>"); sw.Close(); Console.WriteLine("Finished"); Console.ReadLine(); }