Задание 0

Министерство сельского хозяйства Российской Федерации

Департамент научно-технологической политики и образования

Федеральное государственное бюджетное образовательное учреждение

Высшего профессионального образования

КРАСНОЯРСКИЙ ГОСУДАРСТВЕННЫЙ АГРАРНЫЙ УНИВЕРСИТЕТ

Институт Экономики и финансов АПК

Кафедра «Бизнес – информатики и

информационно-компьютерной

безопасности»

ОТЧЕТ

По дисциплине «Теория алгоритмов»

Лабораторная работа №2

Выполнил студент 3 курса

очной формы обучения

института ЭиФ АПК

группы 36

________________

(подпись) (Свиридова О.С.

Романова Д.С.)

________________

Представлена на проверку (дата)

Проверена Титовская Т.С.

________________

(подпись)

Красноярск 2015

Задание: определить нормальный алгоритм поразрядного сложения двух двоичный чисел.

Правила:

1. 0↕?@ → @↕1

2. 0↕@ → @↕1

3. 1↕?@ →@↕0

4. 1↕@ → @↕0

5. 0|?@ → @|1

6. 0|@ → @|1

7. 1|?@ → @|^п0

8. 1|@ → @|0

9. 1?|@ → ^п0?|@

10. 0? ↕@ → 1↕?@

11. @|^п0 → ^п0@|

12. 0^п → ^п0

13. @|1^п → ^п@|0

14. 1^п → ^п1

15. @@↕1 → 0

16. @@↕ → 0

17. @@| → 1

18. @↕ 1→ 1↕@

19. @↕ → ↕@

20. @^п → @

21. @|1→ @|0

22. @| → |@

23. @|0 → 1

24. @↕0 → 0

25. 0@ → 1

26. 1@ → 0

27. ? ↕ → ↕?

28. ?| → |?

29. *↕ → λ

30. | → λ

31. ? → λ

Примеры:

1) @110|?@ * @11↕?@ ³→ @110|?@ * @1@↕0 ⁵→ @11@|1 * @1@↕0¹⁹→

→ @11@|1 *@1↕@0 ²¹→@11|@ 1* @1↕@0 ⁴ →@11|@ 1* @1@↕00 ⁸→

→ @1@|01 * @1@↕00 ¹⁹→ @1@|01 * @1↕@00 ²²→ @1|@01 *

* @1↕@00 ⁴→ @1|@01 * @@↕00 0 ⁸→ @@|001 * @@↕00 0 ¹⁶→ @@|001 * 0000 ¹⁷→ 1001 * 0000

2) @101|?@ * @11↕?@ ³→ @101|?@ * @1@↕0 ⁷→ @10@|^п 0 * @1@↕0 ¹¹→

→ @10 ^п 0 @| * @1@↕0 ¹²→ @1 ^п 00@| * @1@↕0 ¹⁴→ @ ^п 100@| * @1@↕0 ¹⁹→ @ ^п 100@| * @1↕@0 ⁴→ @ ^п 100@| * @@↕00 ¹⁶→ @ ^п 100@| * 000²⁰→

@ 100@| * 000²²→@ 100|@ * 000⁶→ @ 10@|1 * 000²¹→ @ 10@|0* 000²²→

→ @ 10|@0* 000⁶→ @ 1@|10 * 000²¹→@ 1@|00 * 000²²→@ 1|@00 * 000⁸→

→@ @|000 * 000¹⁷→1000 * 000

3) @101|?@ * @11↕?@ ³→ @101|?@ * @1@↕0 ⁷→ @10@|^п0 * @1@↕0 ¹¹→

@10|@^п0 * @1@↕0 ⁶→ @1@|1^п0 * @1@↕0 ¹³→ @1^п@|00 * @1@↕0 ¹⁴→ @^п1@|00 * @1@↕0 ²¹→ @^п1|@00 * @1@↕0 ⁸→@^п@|000 * *@1@↕0¹⁹→@^п@|000 * @1↕@0 ⁴→@^п@|000 * @@↕00 ²⁰→@@|000 *

* @@↕00 ¹⁷→1000 * @@↕00 ¹⁶→1000 * 000

4) @11|?@ * @1↕?@ ³→@11|?@ * @1@↕0 ⁷→@1@|^п0 * @1@↕0¹¹→@1^п0@|* * @1@↕0 ¹⁴→@^п10@|* @1@↕0 ¹⁹→@^п10@|* @1↕@0 ⁴→@^п10@|* @@↕@00 ¹⁶→@^п10@|* 000 ²⁰→@10@|* 000 ²²→@10|@* 000 ⁶→@1@|1* 000 ²¹→@11|@* 000 ²²→@11@|* 000 ⁸→@1@|0* 000 ²²→@1|@0* 000 ⁸→@@|00* *000 ¹⁷→100 *000

5) @10|?@ * @10↕?@ ¹→@10|?@ * @1@↕1⁵→@1@|1 * @1@↕1¹⁸→@1@|1 * *@11↕@⁴→@1@|1 *@1@↕0¹⁹→@1@|1 *@1↕@0⁴ →@1@|1 *@@↕00¹⁶→@1@|1 *000²¹→@1@|0 *000²²→@1|@0 *000⁸→@@|00 *000¹⁷→100 *000