Finished populateDfaTable