Tilakone lähdöllä

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 7. huhtikuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 3 muokkausta .

Ulostuloautomaatti on deterministisen äärellisen automaatin muunnelma , jota on täydennetty lähtöaakkosilla ja tulosfunktiolla.

Määritelmä

On olemassa useita tapoja määritellä äärellisen tilan kone, jossa on tulos. Esimerkiksi äärellinen automaatti, jolla on lähtö, voidaan määrittää joidenkin joukkojen järjestetyksi seitsemäksi alkioksi [1] : , jossa $M=(V,W,Q,q_{0},F,\delta ,\mu )$

$V$ on syöteaakkosto (sen elementit ovat syöttösymboleja );
$W$ on tulosaakkoset (sen elementit ovat tulosymboleja );
$K$ on joukko äärellisen automaatin tiloja lähdöllä;
$q_{0}$ on äärellisen automaatin lähtötila ;
$F$ — ei-tyhjä joukko lopullisia/lopullisia tiloja , joiden jokaista elementtiä kutsutaan äärellisen automaattin loppu-/loputilaksi;
$\delta$ on siirtymäfunktion kartoitus ; $\delta :Q\times V\rightarrow Q$
$\mu$ — lähtöjen näyttötoiminto , . $\mu :Q\times V\rightarrow W$

Funktiota kutsutaan rajallisesti deterministiseksi funktioksi. $V^{*}\rightarrow W^{*}$

Rakenteellinen synteesiongelma

Tämä tehtävä on samanlainen kuin Boolen funktion toteuttaminen funktionaalisten elementtien piirillä . Toisin kuin funktionaalisten elementtien piirissä Boolen funktion toteuttamiseksi, tämän piirin tulee sisältää viive-elementtejä, jotka mahdollistavat tiedon tallentamisen automaatin nykytilasta [2] . Rakenteellisen synteesin ongelman ratkaisemiseksi laaditaan taulukko lähdöllisen äärellisen automaatin siirtymäfunktioista ja lähdöistä, jonka jälkeen rakennetaan rakennetaulukko, jossa jokainen tulo- ja lähtösymboli ja jokainen tila korvataan niiden binäärikoodilla ja joka asettaa Boolen operaattorin [3] .

Kirjallisuus

Belousov A. I., Tkachev S. B. Diskreetti matematiikka. — M .: MGTU , 2006. — 743 s. — ISBN 5-7038-2886-4 .
Kenneth R. Beesley ja Lauri Karttunen . Äärillisen tilan morfologia . — CSLI-julkaisut , 2003.