Задание 0
.docxМинистерство сельского хозяйства Российской Федерации
Департамент научно-технологической политики и образования
Федеральное государственное бюджетное образовательное учреждение
Высшего профессионального образования
КРАСНОЯРСКИЙ ГОСУДАРСТВЕННЫЙ АГРАРНЫЙ УНИВЕРСИТЕТ
Институт Экономики и финансов АПК
Кафедра «Бизнес – информатики и
информационно-компьютерной
безопасности»
ОТЧЕТ
По дисциплине «Теория алгоритмов»
Лабораторная работа №2
Выполнил студент 3 курса
очной формы обучения
института ЭиФ АПК
группы 36
________________
(подпись) (Свиридова О.С.
Романова Д.С.)
________________
Представлена на проверку (дата)
Проверена Титовская Т.С.
________________
(подпись)
Красноярск 2015
Задание: определить нормальный алгоритм поразрядного сложения двух двоичный чисел.
Правила:
-
0↕?@ → @↕1
-
0↕@ → @↕1
-
1↕?@ →@↕0
-
1↕@ → @↕0
-
0|?@ → @|1
-
0|@ → @|1
-
1|?@ → @|п0
-
1|@ → @|0
-
1?|@ → п0?|@
-
0? ↕@ → 1↕?@
-
@|п0 → п0@|
-
0п → п0
-
@|1п → п@|0
-
1п → п1
-
@@↕1 → 0
-
@@↕ → 0
-
@@| → 1
-
@↕ 1→ 1↕@
-
@↕ → ↕@
-
@п → @
-
@|1→ @|0
-
@| → |@
-
@|0 → 1
-
@↕0 → 0
-
0@ → 1
-
1@ → 0
-
? ↕ → ↕?
-
?| → |?
-
*↕ → λ
-
| → λ
-
? → λ
Примеры:
1) @110|?@ * @11↕?@ 3→ @110|?@ * @1@↕0 5→ @11@|1 * @1@↕019→
→ @11@|1 *@1↕@0 21→@11|@ 1* @1↕@0 4 →@11|@ 1* @1@↕00 8→
→ @1@|01 * @1@↕00 19→ @1@|01 * @1↕@00 22→ @1|@01 *
* @1↕@00 4→ @1|@01 * @@↕00 0 8→ @@|001 * @@↕00 0 16→ @@|001 * 0000 17→ 1001 * 0000
2) @101|?@ * @11↕?@ 3→ @101|?@ * @1@↕0 7→ @10@|п 0 * @1@↕0 11→
→ @10 п 0 @| * @1@↕0 12→ @1 п 00@| * @1@↕0 14→ @ п 100@| * @1@↕0 19→ @ п 100@| * @1↕@0 4→ @ п 100@| * @@↕00 16→ @ п 100@| * 00020→
@ 100@| * 00022→@ 100|@ * 0006→ @ 10@|1 * 00021→ @ 10@|0* 00022→
→ @ 10|@0* 0006→ @ 1@|10 * 00021→@ 1@|00 * 00022→@ 1|@00 * 0008→
→@ @|000 * 00017→1000 * 000
3) @101|?@ * @11↕?@ 3→ @101|?@ * @1@↕0 7→ @10@|п0 * @1@↕0 11→
@10|@п0 * @1@↕0 6→ @1@|1п0 * @1@↕0 13→ @1п@|00 * @1@↕0 14→ @п1@|00 * @1@↕0 21→ @п1|@00 * @1@↕0 8→@п@|000 * *@1@↕019→@п@|000 * @1↕@0 4→@п@|000 * @@↕00 20→@@|000 *
* @@↕00 17→1000 * @@↕00 16→1000 * 000
4) @11|?@ * @1↕?@ 3→@11|?@ * @1@↕0 7→@1@|п0 * @1@↕011→@1п0@|* * @1@↕0 14→@п10@|* @1@↕0 19→@п10@|* @1↕@0 4→@п10@|* @@↕@00 16→@п10@|* 000 20→@10@|* 000 22→@10|@* 000 6→@1@|1* 000 21→@11|@* 000 22→@11@|* 000 8→@1@|0* 000 22→@1|@0* 000 8→@@|00* *000 17→100 *000
5) @10|?@ * @10↕?@ 1→@10|?@ * @1@↕15→@1@|1 * @1@↕118→@1@|1 * *@11↕@4→@1@|1 *@1@↕019→@1@|1 *@1↕@04 →@1@|1 *@@↕0016→@1@|1 *00021→@1@|0 *00022→@1|@0 *0008→@@|00 *00017→100 *000