border=0

Automatyske teory

Automaatteory is in logyske mathematike teory, it objekt fan stúdzje wêryn abstrakte diskret automaten binne - kontinuze converteren fan ynformaasje; diel fan 'e teoretyske cybernetika.

De ûntjouwing fan automata teory

De ûntjouwing en ûntwikkeling fan 'e teory fan automaten is ferbûn mei de oprjochting fan dy. betsjut automatyske systemen mei programmkontrôle, ûntwikkeling fan wiskundige modellen fan ynformaasjeferwurking yn komplekse dynamyske systemen lykas.

As in yntegrale konstruktive struktuerteory fan automaten is de teory út it begjin foarme. 50-20 in.

Taken oplossing troch automata teory

It oanbod fan problemen is besljochte troch de teory fan automata-problemen is grut: fan problemen fan it "hedelive type" (komplete, ferwidering, ensfh.) Oant

Yn diskrete matematika, computer science, automata teory ûndersiket abstrakte masines yn 'e foarm fan wiskundige modellen, en problemen dy't se oplosse kinne.

Automata teory en algoritme teory

Automata teory is meast besibbe oan 'e teory fan algoritme. Dit wurdt eksplisyt troch it feit dat de automaton de diskrete ynformaasje stap foar stap yn diskrete punten yn 'e tiid en generearret de resultaatlike ynformaasje fia de stappen fan in opjûne algoritme. Dizze transformaasje binne mooglik mei help fan technyske en / of software ark. In automaat kin wurde as in bepaald apparaat (swarte fekânsje) tocht, oan hokker ynput-sinjalen oanbean wurde en de útfier is fuortsmiten, dy't, miskien, inkele ynterne steaten hawwe kinne.

Automatyske analyze

Yn 'e analyze fan automaten wurde se ûndersocht op ferskate stimulâns en minimearje de tal steat fan' e automaton foar operaasje neffens in gegeven algoritme. Soks in automatysk wurdt abstrakt neamd.

Synteze fan automaten

Yn 'e synthesis fan automaten wurdt in systeem fan elemintêre automaten foarme dy't equivalent is oan in opjûne abstrakte automaton. Soks in automaton wurdt strukturele neamd.

Untwerp in elektroanysk kompjûter bliuwt it haadfjild fan praktyske tapassing fan automata teory. Troch de suksesfolle oplossing fan it probleem foar ynterfakken fan 'e stasjon fan abstrakte en struktureelsynthes, makke it realisearjen fan de teory fan betrouber en bloksynstes it mooglik om de teory fan synteze fan digitale automaten te presintearjen as in unifoarme wiskundige teory, dy't yn' e takomst allegearre as kompleet allinich kompleet mei elke grutste steat befetsje moat.

Sjoch ek:

Kommutative algebra

Primêre transformaten fan in systeem fan lineêre lykas

Category Theory

Vector Properties

Dielnimmende sinnen

Gean werom nei Tafelingen yn: Heger Matematika

2019 @ bibinar.info