border=0

Wegen om de steat masine te setten

Kombinaasjemenu, hoewol't se elke fêste ôfwikselingen tusken ynfier- en útfieringsignalen realisearje, kinne de natuer fan har gedrach net feroarje (de databesferwurkingsseking) - elke wiziging feroaret it feroarjen fan de struktuer fan 'e skeakel, dus yn essinsje, nei in oar skema. It oplossen fan it probleem fan werbouwen fan wurkjen sûnder de struktuer fan 'e skeakel te feroarjen is mooglik as jo yntimde eleminten ynsletten litte dy't it tasteljen fan intermediate states fan it appartemint ynfiere en bewarje - yn dat gefal hinget it útfieringssignal net allinich op it ynfierssignal, mar ek op' e kreisstatus. As it oantal sokke eleminten definityf is, dan, lykas hjirboppe neamd, it diskrete apparaat in finite automaton neamd.

In finite automaton is in systeem <X, Y, Q, Y, Q> dêr't X en Y finalisearrings- en útfier-alfabetten binne, Q is in finite ynset fan ynterne steaten, Y (x, q) is in transysjefunksje en Q (x, q ) - funksje fan 'e útfieringen.

As earder neamd wurdt, jout Y (x, q) de opdracht wêryn de ynfiersymboalen en de steat fan 'e masine op' e eardere klok yn 'e neikommende steat konvertearje, en Q (x, q) konvertearret de ynputsymboalen en de steat fan de masine yn' e aktuele fysyk yn it útfiersymboal. As q 0 de earste state fan de automaton, en ik is it mjitnûmer, dan wurdt syn operaasje beskreaun troch it systeem:

Dizze relaasjes wurde it systeem fan kanonike ferlykjes fan in finite automaton neamd. Mei har gebrûk is it mooglik, begjin mei q 0 , om súksesfol te finen alle folgjende steaten fan de automaton- en útfiersymboalen.

Twa soarten automaten binne ûnderskiede - ynitialen en net-ynitialen. Yn 'e earste automatisme is de earste state fêststeld (dat is, se begjinne altyd om fan deselde steat te wurkjen 0 0 ). Yn net-earste automaten kin elk fan 'e set Q as selekteare selektearre wurde; Dizze keuze bepaalt it fierdere gedrach fan de automaton.

De fertsjintwurdiging fan in bepaalde finitenautomat is fereale ferdield nei de beskriuwing fan de automatonfunksjes dy't it definearje. Fan it systeem (9.3) folget dat foar in definityf oantal mooglike ynterne steat it oantal mooglike wearden fan automatonfunksjes ek útinoar komme. Har beskriuwing is op ferskate manieren mooglik, de meast foarkommende is tabellen en brûkte charts.

Yn Op de tafelbere manier wurde automatonfunksjes fêststeld troch twa definitive tabellen, neamd de transysjematrix en de útfiermatrix respektivelik . Yn dizze tabellen wurde rigen oantsjutte mei brieven fan it ynfier alfabet, en kolommen troch brieven fan it ynteressearre alfabet (tekens dy't de ynterne steat fan 'e automaton kodearje). De wearden fan de funksje Y ( q r , x k ) wurde yn 'e transysjematrix pleatst yn' e krusing fan 'e rige (x k ) en kolom (q r ), en yn de útfiermatrix, de wearden fan 'e funksje Q (q r , x k ).





Sjoch ek:

Foarbyld 4.17

It effekt fan lûd op 'e kanaalbandbreedte

Foarbyld 2.3

Foarbyld 7.8

Algoritmyske Turing Machine

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

2019 @ bibinar.info