These systems, though they differ in many details, share the common property of considering only expressions in a fixed formal language.
Τα συστήματα αυτά, αν και διαφέρουν σε πολλές λεπτομέρειες, μοιράζονται την κοινή ιδιότητα του να εξετάζουν μόνο εκφράσεις σε κάποια συγκεκριμένη τυπική γλώσσα.