En informatique théorique, et notamment en théorie des automates, un automate à file (en anglais ) est un automate fini doté d`une mémoire auxiliaire infinie organisée en file. C`est un modèle de calcul qui est équivalent aux machines de Turing, et accepte donc la même classe de lang...