the name "alligator" is probably an anglicized form of "", the spanish term for "the lizard", which early spanish explorers and settlers in florida called the alligator. later english spellings of the name included "allagarta" and "alagarto".