Основні ознаки алгоритму. Навести підхід до формального визначення алгоритму. Універсальні формальні алгоритмічні системи. Основна гіпотеза теорії алгоритмів. Сукупність правил переходу автомата з одного стану в інший залежно від вхідної інформації і внутрішніх станів автомата називається алгоритмом перетворення (переробки) інформації. Взагалі алгоритмом називається кінцева сукупність точно сформульованих правил рішення какойто задачі. Можна привести ще одне визначення поняття алгоритму. Алгоритм - це строго формальний опис кінцевої послідовності деяких "елементарних" дій або процедур, яку треба виконати над початковими даними і над проміжними результатами, що виникли в ході виконання цих операцій, для того, щоб дійти інформації, обробки початкових даних, що є результатом. Ознаки алгоритму: 1. Справа з данімі (вхідні, провідні, вихідні) 2. Пам'ять для зберігання 3. Алгор. виконується по кроках, к-ть яких скінченна 4. Алгор. мусить буті детермінований 5. Результативність Більш строге візначеня можна даті в рамках теорії Формальніх Алгор. Системах (ФАС): 1. Рекурсивні ф-ції 2. Машина Тюрінга 3. Машина Поста 4. Нормальні алгор. Маркова 5. Схема Колмагорова 6. Цифрові автоматі Мілі та Мура 7. Сист Черкаського Основна гіпотеза теорії алгоритмів: будь-який алгоритм може бути вікорістаний із допомогою ФАС. Перераховані, в цьому розділі поняття відносяться до абстрактної теорії цифрових автоматів, в якій розглядаються автомати, що мають один вхід і один вихід. Тому застосувати все це до ЕОМ можна тільки в найзагальнішому вигляді, обмежуючи круг даних пристроїв пристроями, що входять до складу процесора, чи ж у разі коли розглядається взагалі деякий вузол ЕОМ, призначений для достатньо елементарної обробки цифрової інформації. Насправді, залежно від команд, що подаються пристроєм управління процесора, арифметично-логічний пристрій здійснює відповідні дії (зміна внутрішніх станів) з видачею необхідних результатів. Проте зміна внутрішніх станів всієї ЕОМ в цілому носить настільки складний характер, що цей процес неможливо відобразити в аналітичному вигляді. Тому поняття цифрового автомата доцільно використовувати стосовно алгоритмів, що реалізовують некотору. програму або послідовність операцій. При цьому кожна операція представляється як елементарна дія, здійснювана в процесі переробки інформації. Вплив дестабілізуючих факторів на характеристики ІМС. Дестабілізуючими факторами вважаються відхилення напруги живлення від нормального значення; відхилення від нормальних теператур;зміна навантаження на вихідному каскаді. ΔЕж ΔТ ΔІн Ці фактори впливають на: завадостікість ( Uз+, Uз- ) споживана потужність Рс швидкодія, що визначає максимальну частоту переключення або час середньої затримки(fп мах, τзат) навант.здатності (Ін) 1. Відхилення напруги живлення :Еж (дозволяється змінювати її у межах ±10%) При збільшенні Еж => зававдостійкість збільшилась => Рс збіл.по квадр.законі => fn –збільш. => In – збільш. 2. На завадостійкість ΔT практично не впливає. При зміні температури оппори мікросхеми, але в той же час збільшується коофіцієнт транзистора → ΔT практично не впливає на Pc При збільшенні ΔT => fn - трохи збільшується => In залишається без змін 3. При збільшенні ΔIn => Uз+, Uз- зменшується => Рс – збільшується => fn зменшується за рахунок того, що наваження збільшується і в результаті перерозподіляється при перек.у вихідному каскаді став гірш. =>In зменшуєься