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

By it analysearjen fan automaten wurde se ûndersocht op ferskillende stimulâns en minimearje de tal steat fan 'e automaton foar operaasje neffens in bepaalde 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 stasjons fan abstrakte en struktureelsyntheses, makke it realisearjen fan de teory fan betroubere en bloksynstes it mooglik om de teory fan synteze fan digitale automaten te presintearjen as in ienige mathematike teory, dy't yn' e takomst allegearre as kompleet allinich komputer mei in grut tal steat befetsje moat.

Sjoch ek:

Game theory

Matrix metoade foar it oplossen fan systemen fan lineêre lykas

Hegere algebra wiskunde

Booleaanske funksje

Computational Geometry

Gean werom nei Tafelingen yn: Heger Matematika

2019 @ edudocs.fun