[pic]
[pic]
Формальная система (формальный язык)
Множество
Базовых
Элементов
(алфавит)
Множество
Синтаксических
правил
Множество аксиом,
т.е. правильных
конструкций,
принимаемых без
доказательства
Множество правил вывода,
т.е. процедур, позволяющих
выводить из одних
правильных конструкций
другие
[pic] [pic] [pic] [pic] [pic] [pic] [pic] [pic] [pic]
