Ako si vyrobiť deterministický konečný automat

konečný štátnej stroj ( FSM ) je kľúčovým abstrakcie , na ktorých je založený prevádzku digitálnych počítačov . FSM sa skladá z radu štátov , z ktorých iba jeden môže byť " obsadené " v čase , a súbor pravidiel určujúcich , ktorý štát bude obsadená ďalšie , na základe ktorých je v súčasnej dobe obsadené a vstup . V deterministický MFŠ , každý štát vedie len k ďalším štátom ( alebo seba ) , pre každý možný vstup . Sú ľahko kresliť a analyzovať na papier pomocou kruhy a šípy . Veci , ktoré budete potrebovať
ceruzka
knihe
Zobraziť ďalšie inštrukcie Cestuj 1

Nakreslite si kruh o 1 palec naprieč na papieri reprezentovať FSM je počiatočný stav . Uveďte, že je to východiskový stav tým , že kreslí šípku asi dlhší palec ukazujúce na to . Napíšte jedinečný názov pre stav vo vnútri kruhu , spoločný režim je označiť každý stav pomocou " S " a dolný index ( napr. " S0 , S1 , S2 " , a tak ďalej ) , ale použiť viac popisné názvy pre vaše štátov , ak to robí MFŠ zrozumiteľnejšie .
2

Nakreslite ďalší kruh predstavuje druhý štát . Napíšte štítok pre druhého štátu vnútri jeho kruhu . Každý štát musí mať " odpoveď " , definovanú pre každý možný vstup by to mohlo prijímať . Nakreslite toľko šípok vedúcich z počiatočného stavu , ako tam sú možné vstupy , označenie každej šípku sa vstupom to odpovedá . Každá šípka musí viesť späť do východiskového stavu , alebo do druhého stavu . Ako príklad , predstavte si stroj , ktorý má prístup ku košu banánov , jabĺk a pomarančov , ktoré bude vyberať až z jedného kusu v čase , kým kôš je prázdny . Nakreslite šípku označenú vstupné " banán " z východiskového stavu do druhého stavu . Nakreslite dve šípky , ktoré zodpovedajú " jablko " a " oranžovej " , vedúcej z východiskového stavu , ale looping späť k nemu . Ak dva alebo viac šípok začať na rovnakom mieste a konci v rovnakom mieste , ako je toto , kombinovať ich , aby čerpanie menej zaplnený , označiť jednu šípku so všetkými vstupmi zodpovedá
3.

Draw viac štátov a určiť ich šípy , pokiaľ váš počítač dosiahol stav , v ktorom došlo vstupy alebo postupnosť vstupov je určené na identifikáciu . Pre aktuálne príklad , nakreslite tretí stav a označte ju . Nakreslite " banán " šípku vedúcej z druhého štátu do tretej , a " jablko /pomaranč " šípka vedúcej z druhého štátu späť do seba . Nakreslite jednu šípku z vedúcej späť k sebe do tretieho štátu , označeného všetkých troch druhov ovocia .
4

Nakreslite niečo menšie sústredné kružnice v treťom štáte , čo znamená , že je to " prijatie " stať . Váš FSM je kompletný , ale čo to robí ? Simulovať , čo sa stane za pár príkladov ovocných košov ste tvorí , a budete rýchlo uvedomiť , že tento MFŠ odmietne koše , ktoré nemajú 2 banány ( kôš je " odmietnutej " , ak je ovocie dôjdu chcete prijímať štátnu Nie je ' t obsadené ) . Deterministické MFŠ môže mať oveľa zložitejšie funkcie , ako to , s viac prijímajúcich stavov a komplexné možných ciest .

• Predchádzajúca strana: Ako zviazať DataSet DataGrid 
• Ďalšia strana: Ako odstrániť súbor z git commit