Consider all languages of finite structures with a fixed signature including a linear order relation.
Θεωρείστε όλες τις γλώσσες πεπερασμένων δομών με σταθερή υπόγραφη, συμπεριαλβανόμενης μιας σχέσης γραμμικής τάξης.