Automata theory is a subject matter that studies properties of various types of automata.
Η θεωρία αυτομάτων είναι το πεδίο που μελετά τις ιδιότητες διαφόρων τύπων αυτομάτων.