border=0

Formale systeem

It begryp fan in hjirboppe besprutsen systeem is algemien en universele, d. kin brûkt wurde yn ferskate tûken fan minsklike kennis. Mei dêrby wurdt it begryp "formele systeem" brûkt yn kompjûterwittenskippen en in tal oare applikaasjes ; It ûnderskiedt it algemiene begryp fan in systeem, krekt as it begryp fan in wiskundige model ferskynt út it begryp fan in model yn algemien.

In formele systeem is in wiskundige model dy't in set fan diskrete komponinten definiearret troch de oarspronklike objekten te beskriuwen en de regels foar it opbieden fan nije komponinten út 'e oarspronklike en al konstruearre.

Ferifikaasjes nei de definysje:

1. De komponinten fan in formele systeem binne ynformative represintaasjes fan materiaal objekten, steaten, relaasjes, ensfh. Fertsjintwurdigings kinne symboalysk wêze (symboalysk) of grafysk, mar needsaaklik ynformaasje. Sa is formalisaasje (of de bou fan in formele systeem) de ferfanging fan in echte prototype troch syn formele beskriuwing, d. syn ynformaasjemodel.

2. Komponinten fan formele systeeën kinne in kombinaasje fan in finite oantal boarne objekten fertsjintwurdigje - unparteibel (ienfâldich) eleminten mei in spesifike set fan eigenskippen. In soad soarten fan sokke eleminten wurde it alfabet fan it systeem neamd. It oantal kopyen fan eleminten fan elke type kin elk wêze (ynklusyf ûneinich).

3. De regels foar it opbieden fan nije komponinten kinne wêze yn 'e foarm fan "kondysje-aksje" ("as de besteande objekten of komponinten bepale beskate betingsten, dan in nije komponint te bouwen, moat men soksoarte aksje útfiere"). In oare soarte regel is "preemes - konklúzje" ("as komponinten fan it type A 1 ... A n - 1 binne al boud , dan wurdt komponint A p ek beskôge as oanlein"). Nije komponinten wurde ekstra objekten neamd (it soe better wurde om har "útgongskomponinten" te neamen ).

4. De definysje fan in formele systeem op in soad manieren liket de algemiene (yntuitive) definysje fan in algoritme yn ch. 6. Dizze oerienkomst is net byienkomme en sil hjirûnder besprutsen wurde.

Besykje in pear foarbylden fan formele systemen.

Sjoch ek:

Formulieren fan ynformaasje

Foarbyld 7.9

Flaterdetection Codes

De klasse fan algoritmyske (of masine-komputerbere) dielsnûmerfunksjes fermindere mei de klasse fan alle parten rekkenjende funksjes.

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ bibinar.info