Reads states and symbols reading from file, sample file added