Пример 10.1

Множество арифметических формул, которые могут содержать цифровые или буквенные выражения с целочисленными коэффициентами. Алфавит: цифры 0...9; буквы a...z, знаки +, -, х, /, скобки (, ). Любой символ может считаться исходной формулой, любая комбинация цифр с первой ненулевой называется числом и считается формулой. Правила построения новых формул следующие:

· если А и B - числа и А ≠ 0, то АВ также число (т.е. частный вид формул - числа - получаются приписыванием одних к другим таким образом, чтобы слева был не 0);

· если F₁ и F₂ - формулы, то (F₁ + F₂), (F₁ - F₂), (F₁ x F₂) и (F₁ /F₂) также являются формулами.

В описанной формальной системе выводимыми оказываются формулы типа:

Пример 7.12

Контрольные вопросы и задания

Равномерное алфавитное двоичное кодирование. Байтовый код

А.1. Понятие вероятности

Определение системы

Вернуться в оглавление: Теоретические основы информатики