Metadata
Author: WikiMatrix
Data
Greek[el]
Αυτό γίνεται με τον ορισμό ενός συνόλου από σύμβολα (που αποκαλείται και αλφάβητο) και ενός συνόλου από κανόνες σχηματισμού (γνωστού και σαν τυπική γραμματική, αγγλ. formal grammar) που καθορίζουν ποιες συμβολοσειρές συμβόλων είναι καλώς ορισμένες.
Russian[ru]
Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами.