border=0

Foarbyld 9.4

Lit in skeakel litte (9.5, a ) wurde jûn, wêrby ien EN, ODER, net logysk elemint en twa ferlies-eleminten ( Z yn it diagram), by de ynfier dêr't it sinjaal x jûn wurdt. De ynterne steat fan 'e ferfaldingen, respektivelik q 1 en q 2 neamd .

Dęrneist, yn oerienstimming mei de foarskreaune regels foar de selekteare kanten fan it skema, kinne jo skriuwe:

Nei it ferwiderjen fan it begjinferfallearringsprogramma gean wy nei it skema yn presintearre. 9.5, b . It realisearret de folgjende funksjes:

Dêrom sille de kanonike ferlykingen fan 'e automaton de foarm hawwe:

No kinne jo bouwe om dizze gelikense prestaasjes yn 'e foarm fan in tabel fan wearden:

Hjirnei wurdt in tabel fan automatonbeheardingen konstruearre, fergelykber mei dat beskôge yn Beispiel 9.1. De rigen en kolommen corrite oan 'e ynputsymbols x (t i ) en de steaten op' e eardere kloksyklus ( q 1 ( t i - 1 ), q 2 (t i - 1 )). De sellen befetsje de steat fan 'e aktive kloksyklus ( q 1 ( t i ), q 2 ( t i )) en de wearde fan it outputsymbol y ( t i ). Wy prate fuortendaliks nije notaasje foar de ynterne steat fan de automaton (q ( p ) = ( q 1 , q 2 ): q (0) = (00), q (1) = (01), q (2) = (10), q (3) = (11). Dêrnei krije wy de automatontafel:

De oplossing fan it probleem fan it synthesisearjen fan in automaton út logyske eleminten en ferlies-eleminten wurdt útfierd yn 'e omkarring: in systeem fan automaton-kanonike lykbaten wurdt oanlein; automatonfunksjes wurde presintearre yn 'e foarm fan in tafel of skema; it befettet it systeem fan Booleaanske funksjes dy't de operaasje fan 'e automaton beskriuwt; neffens dat - in set fan logyske eleminten en relaasjes tusken har, en úteinlik litte sy ferlies eleminten ynfiere. Sa kin de automata-teory him om algoritmyske metoaden ûntwikkelje foar de oergong fan 'e poadium om de natuer fan transformaasje te beskriuwen dy't in finite automaton ynfierd wurde moat foar spesifike sirkulêre oplossingen basearre op it gebrûk fan de set fan eleminten dy't hjirboppe besprutsen binne. Dêrtroch makket it mooglik it formulearjen fan it probleem foar it ûntwerpen fan nije finiteatstatemasines foar it oplossen fan 'e oardering fan' e oare finiteare masine, benammen in komputer. Sokke technology bestiet echt en wurdt breed brûkt yn 'e praktyk om nije apparaten te meitsjen.





Sjoch ek:

Foarbyld 7.4

Foarbyld 4.8

Problem fan algoritmyske lilkberens

Entropy Properties

Klassifikaasje fan modellen

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

2019 @ edudocs.fun