Авиационно инженерство Административно право Административно право Беларус Алгебра Архитектура Безопасност на живота Въведение в професията „психолог” Въведение в икономиката на културата Висша математика Геология Геоморфология Хидрология и хидрометрия Хидросистеми и хидравлични машини Културология Медицина Психология икономика дескриптивна геометрия Основи на икономически т Oria професионална безопасност Пожарна тактика процеси и структури на мисълта, Професионална психология Психология Психология на управлението на съвременната фундаментални и приложни изследвания в апаратура социалната психология социални и философски проблеми Социология Статистика теоретичните основи на компютъра автоматично управление теория на вероятностите транспорт Закон Turoperator Наказателно право Наказателно-процесуалния управление модерна производствена Физика Физични феномени Философски хладилни инсталации и екология Икономика История на икономиката Основи на икономиката Икономика на предприятията Икономическа история Икономическа теория Икономически анализ Развитие на икономиката на ЕС Спешни ситуации ВКонтакте Однокласници Моят свят Facebook LiveJournal Instagram
border=0

Формална система

Концепцията за дискутирана по-горе система е обща и универсална, т.е. може да се използва в различни области на човешкото познание. Заедно с това, понятието "формална система" се използва в компютърните науки и редица други приложения ; тя се различава от общата концепция на системата, точно както концепцията за математически модел се различава от концепцията за модел като цяло.

Формалната система е математически модел, който определя набор от дискретни компоненти чрез описание на оригиналните обекти и правилата за конструиране на нови компоненти от оригинала и вече конструирани.

Уточнения към дефиницията:

1. Компонентите на формалната система са информационни представяния на материални обекти, състояния, връзки и др. Представленията могат да бъдат символични (символични) или графични, но задължително информационни. Следователно формализирането (или конструирането на формална система) е заместването на истинския прототип чрез неговото формално описание, т.е. нейния информационен модел.

2. Компонентите на формалните системи могат да представляват комбинация от ограничен брой изходни обекти - неделими (най-прости) елементи със специфичен набор от свойства. Много видове такива елементи се наричат азбука на системата. Броят на копията на елементи от всеки тип може да бъде всеки (включително безкраен).

3. Правилата за конструиране на нови компоненти могат да бъдат във формата “условие-действие” (“ако съществуващите обекти или компоненти отговарят на определени условия, тогава за да се изгради нов компонент, трябва да извършите такова действие”). Друг вид правило е „предпоставка - заключение” („ако вече са изградени компоненти от тип A 1 ... A n - 1 , тогава компонент A p също се счита за конструиран”). Новите компоненти се наричат изходни обекти (би било по-правилно да ги наричаме "изходни компоненти").

4. Дефинирането на формална система в много отношения напомня на общото (интуитивно) определение на алгоритъм, даден в гл. 6. Тази прилика не е случайна и ще бъде обсъдена по-долу.

Обмислете няколко примера за формални системи.

Вижте също:

Пример 4.11

заключение

Пример 5.4

Класификация на моделите

Кодове за корекция на единични грешки

Връщане към съдържанието: Теоретични основи на компютърните науки

2019 @ ailback.ru