Программирование разветвляющихся вычислительных процессов

 

Разветвляющийся процесс

 

Вычислительный процесс, при котором имеется выбор одного из возможных путей вычислений, называют разветвляющимся, а реализующую его программу – разветвляющейся.

Примеры. Вычисление значений функций в разных областях существования переменных. Проверка условия выхода из многократно повторяющихся участков вычислений.

В разветвляющейся программе одна последовательность операторов заменяется на другую последовательность.

При программировании разветвляющихся процессов используются логические выражения.

Логическое выражение – это конструкция, состоящая в общем случае из арифметических выражений, выражений отношения, логических функций, логических констант (TRUE и FALSE) и скобок. Результатом вычисления логического выражения является одна из логических констант.

 

 

Выражения отношений

 

Выражения отношений – это конструкция, состоящая из двух арифметических выражений, соединенных знаком отношения (больше, меньше и др.). Запись знаков на языке BASIC близка математической записи (см. табл. 5.1).

 

Таблица 5.1. Выражения отношений

Математическая запись	Запись на языке БЭЙСИК
<	<
	<=
>	>
	>=
=	=
¹	< >

 

Выражение отношения имеет два значения: TRUE (“истина”) или FALSE (“ложь”).

 

 

Логические функции

 

В языках BASIC используются следующие логические функции: конъюнкция (операция «И», условное обозначение «Ç»), дизъюнкция (операция «ИЛИ», условное обозначение «È»), отрицание (операция «НЕ», условное обозначение «Ø») и операция сложения по модулю (исключающее «ИЛИ», условное обозначение «Å»). В алгебре логики логические функции характеризуются таблицами истинности, которые отражены в таблицах 5.2 – 5.5, где 0 – ложь, 1 – истина.

 

 

Таблица 5.2. C = A ∩ B                Таблица 5.3. C = A  B

A	B	C		A	B	C
0	0	0		0	0	0
1	0	0		1	0	1
0	1	0		0	1	1
1	1	1		1	1	1

 

Таблица 5.4. B = ØA                       Таблица 5.5. C = A  B

A	B		A	B	C
0	1		0	0	0
1	0		1	0	1
			0	1	1
			1	1	0

 

На языке BASIC логические функции записываются следующим образом:

C = A ∩ B à C = A AND B

C = A  B à C = A OR B

B = ØA à B = NOT A

C = A  B à C = A XOR B

 

 

Приоритет выполнения всех операций

 

С учетом рассмотренных выражений отношений и логических функций приоритет выполнения всех операций без скобок следующий:

1. Стандартные функции.

2. Возведение в степень.

3. Умножение/деление в том порядке, в котором они встречаются в выражении.

4. Сложение/вычитание в том порядке, в котором они встречаются в выражении.

5. Выражения отношений.

6. Логическая операция NOT.

7. Логическая операция AND.

8. Логические операции OR и XOR.