Интеллект - карта по теме Язык

Автор публикации:

Дата публикации:

Краткое описание: ...


[pic]

[pic]

Формальная система (формальный язык)

Множество

Базовых

Элементов

(алфавит)

Множество

Синтаксических

правил

Множество аксиом,

т.е. правильных

конструкций,

принимаемых без

доказательства

Множество правил вывода,

т.е. процедур, позволяющих

выводить из одних

правильных конструкций

другие

[pic] [pic] [pic] [pic] [pic] [pic] [pic] [pic] [pic]