Automata nəzəriyyəsi, diskret məlumat çeviricilərinin modellərini öyrənən diskret riyaziyyatın bir hissəsidir. Belə çeviricilər həm real cihazlardır (kompüterlər, canlı orqanizmlər) və xəyali cihazlar (aksiomatik nəzəriyyələr, riyazi maşınlar). Əslində, son avtomatik bir cihaz kimi təsvir edilə bilər. M. Giriş və çıxış kanalları eyni zamanda saat anları adlandırılan, bu, saat anları adlandırılan vaxtların hər birində bu, son dövlətlərdən birindədir.
Hər anda giriş kanalında t. \u003d 1, 2, ... cihazda M. Giriş siqnalları (bəzi son siqnal dəstindən) alınır. Dövlətdəki dəyişikliklərin qanunu növbəti dəfə daxil edilmiş vaxtda cihazın vəziyyətindən və cari vaxtın vəziyyətindən asılı olaraq növbəti dəfə təyin edilmişdir. Çıxış siqnalı mövcud vaxtda dövlətdən və giriş siqnalından asılıdır (Şəkil 1).
Son avtomatika, real diskret informasiya emalı cihazlarının riyazi bir modelidir.
Dərk adlanır A \u003d. (X. , Q. , Y. , , ), harada X. , Q. , Y. - Özbaşına boş olmayan sonlu dəstlər və və Ondan funksiyalar:
çoxlu X. ={a. 1 , ..., a. m. ) Çağırıldı inlet əlifbası və elementləri - giriş siqnalları , onların ardıcıllığı - içində qaçış sözləri ;
çoxlu Q. ={q. 1 , ..., q. n. ) Çağırıldı birdən çox dövlət Automaton və onun elementləri - ştamp ;
çoxlu Y. ={b. 1 , ..., b. p. ) Çağırıldı Çıxış əlifbası , elementləri - Çıxış siqnalları , onların ardıcıllığı - həftə sonu sözləri ;
funksiya : X. Q. Q. adlı funksiya keçidləri ;
funksiya :X. Q. Y. adlı funksiya nəticələri .
Bu minvalla, (x. , q. )Q. , (x. , q. )Y. üçün x. X. , q. Q. .
Son maşın aşağıdakı kimi işləyən xəyali bir cihazla əlaqələndirilir. Edə bilər Q. , dəstdən siqnalları qəbul edin X. və bir dəstdən siqnallar vermək Y. .
Abstrakt avtomatını təyin etmək üçün bir neçə ekvivalent yol var, bunların aralarında üçü zəng edə bilərsiniz: cəbrli , həndəsi və funksional .
Maşın təyindən sonra, hər zaman tərkibli iki giriş olan bir masa kimi qurula bilər t. satır I. p sütunun kəsişməsində olan sütunlar q. və iplər amma funksiyaların dəyərləri (a. i. , q. j. ), (a. i. , q. j. ).
|
q. a. |
q. 1 |
q. j. |
q. n. |
||
|
a. 1 |
(a. 1 , q. 1), (a. 1 , q. 1) |
(a. 1 , q. j. ), (a. 1 , q. j. ) |
(a. 1 , q. n. ), (a. 1 , q. n. ) |
||
|
a. i. |
(a. i. , q. 1), (a. i. , q. 1) |
(a. i. , q. j. ), (a. i. , q. j. ) |
(a. i. , q. n. ), (a. i. , q. n. ) |
||
|
a. m. |
(a. m. , q. 1), (a. m. , q. 1) |
(a. m. , q. j. ), (a. m. , q. j. ) |
(a. m. , q. n. ), (a. m. , q. n. ) |
Bir sonu bir avtomatlaşdırmanı təyin etməyin başqa bir yolu qrafikdir, yəni bir qrafik istifadə edir. Maşın işarələnmiş bir yönümlü bir qrafik kimi təsvir edilmişdir G.(Q. , D. ) Çox ucları ilə Q. və bir çox qövs D. ={(q. j. , (a. i. , q. j. ))| q. j. Q. , a. i. X. ), qövs isə ( q. j. , (a. i. , q. j. )) bir cüt qeyd edildi ( a. i. , (a. i. , q. j. ))). Beləliklə, maşının vəziyyəti metodu isə status simvollarının uyğun olduğu dairələrlə təsvir edilmişdir q. j. (j. = 1, …, n. ). Hər kubmetrdən həyata keçirilir T. oxlar (yönümlü qabırğalar) qarşılıqlı olaraq müvafiq giriş əlifba simvolları X. ={a. 1 , ..., a. m. ). Məkana uyğun ox a. i. X. və mugdən yaranan q. j. Q. , cütlük aid edilir ( a. i. , (a. i. , q. j. ))) və bu ox uyğun bir dairəyə aparır (a. i. , q. j. ).
Yaranan rəsm adlanır avtomat saymaq ya da moore chart . Çox mürəkkəb maşınlar üçün bu üsul daha çox görünür cədvəl.
Rəqəmsal maşınların fəaliyyətini təsvir etmək üçün iki sinif dilini vurğulaya bilərsiniz: İlkin dillər və standart və ya avtomatik dillər.
İlkin dillər keçid funksiyasını və çıxışların funksiyasını gizli bir formada təyin etdi. Maşının davranışı operatorun həyata keçirdiyi giriş və çıxış ardıcıllığı və ya nəzarət maşınında fəaliyyət göstərən nəzarət siqnallarının ardıcıllığı baxımından təsvir edilmişdir.
İlkin dildə Abstract CA-nın fəaliyyətini təsvir etmək üçün istifadə edə bilərsiniz:
Tədbirlərin Cəbrinin müntəzəm ifadələrinin dili;
Predik hesablama dili;
Məntiq alqoritmlərinin dili (LSA) dili;
Alqoritmlərin (GSA) sxemlərinin dil qrafiki.
GSA'nın dili, LSA dili ilə birlikdə, bir ortaq bir termin deyilir: alqoritmlərin (OSA) operator sxemlərinin dili adlanır. Təcrübədə, GSA dili ən çox istifadə olunur.
3.3.1 Rəqəmsal maşınları standart olaraq təyin etmək
Dil
Standart və ya avtomatik dillər Keçid nəticələrinin funksiyalarını açıq şəkildə göstərin. Bunlara masalar, qrafiklər, keçid matrisləri və nəticələr və onların analitik təfsiri daxildir. Maşın təyin etmək üçün vektorun bütün komponentlərini təsvir etməlisiniz
S \u003d.(A, Z, W, D, L, A 1).
Bir masa yolu iləmile maşını iki masanı istifadə edərək təsvir olunur: keçid masaları və çıxış masası. Keçid cədvəli funksiyanı təyin edir d. (Cədvəl 3.4.), Çıxış masa funksiyası - l. (Cədvəl 3.5.). Cədvəl.3.4 və 3.5-in hər sütunu dəstin bir vəziyyətinə uyğun olaraq çatdırılır. AMMA, hər bir sıra dəstdən bir giriş siqnalıdır Z.. Sütunun kəsişməsində bir M. və iplər z F. Cədvəl 3.4 yazılıb.
bir S.dəzgahın dövlətdən getməli olduğu bir M., giriş siqnalının hərəkəti altında z F. . a s \u003d d(a m, z f).
Sütunun kəsişməsində bir M. və iplər z F. Cədvəl 3.5 yazılı çıxışdır. w G. avtomatik olaraq verilir bir M. Siqnal girişinə girərkən z F. .
w g \u003d l(a m, z f).
Cədvəl 3.4 Cədvəl 3.5
| Mili Maşın keçid cədvəli | Mili maşın çıxdı | |||||||||
| a. 1 | a. 2 | a. 3 | a. 4 | a. 1 | a. 2 | a. 3 | a. 4 | |||
| z. 1 | a. 2 | a. 2 | a. 1 | a. 1 | z. 1 | w. 1 | w. 1 | w. 2 | w. 4 | |
| z. 2 | a. 4 | a. 3 | a. 4 | a. 3 | z. 2 | w. 5 | w. 3 | w. 4 | w. 5 |
Göstərilən cədvəllər üçün A \u003d.{ a. 1 , A. 2 , A. 3 , A. 4 } Açıqlayır; Z \u003d.{ z. 1 Z. 2 };
W \u003d.{w. 1 , W. 2 , W. 3 , W. 4 , W. 5 }.
Mili maşını, hər bir elementin birləşdirilmiş keçid və çıxış masası (Cədvəl 3.6) ilə də təyin edilə bilər bir S./w G.sütunun kəsişməsində qeyd olunur bir M. və iplər z F.aşağıdakı kimi müəyyən edilir:
a s \u003d d(a m, z f); W g \u003d l(a m, z f).
Mur maşın, hər sütunun yalnız dövlətlərə aid olduğu bir işarələnmiş keçid cədvəlinə (Cədvəl 3.7) təyin olunur bir M. , eyni zamanda çıxış siqnalı w G. bu dövlətə uyğundur w g \u003d l(bir M.). Masa üçün. 3.7. A \u003d.{a. 4 , A. 2 , A. 3 , A. 4 }; Z \u003d.{z. 1 Z. 2 };
W \u003d.{w. 1 , W. 2 , W. 3 }.
Bu vəzifə metodunun üstünlüklərindən biri budur ki, hər hansı bir keçid və çıxış masa son avtomatik olaraq təyin olunmasıdır. Eyni zamanda, iki şərt razı olmalıdır:
Şərt birmənalı (determinist), bu, hər hansı bir cütlük üçün deməkdir a m z f Keçidin yeganə vəziyyəti göstərilib. bir S. və tək çıxış siqnalı w G. , keçiddə verildi.
Şərt tam əminlikBu, mümkün olan buxar üçün bu deməkdir a m z f Vəziyyət və çıxış siqnalı həmişə göstərilmişdir.
Cədvəl 3.6 Cədvəl 3.7
| Keçidlər və maşın çıxışlarının birləşdirilmiş cədvəli | Mur maşınının keçidləri və çıxışları cədvəli | |||||||||
| a. 1 | a. 2 | a. 3 | a. 4 | w. 3 | w. 2 | w. 3 | w. 1 | |||
| z. 1 | a. 2 /w. 1 | a. 2 /w. 1 | a. 1 /w. 2 | a. 1 /w. 4 | a. 1 | a. 2 | a. 3 | a. 4 | ||
| z. 2 | a. 4 /w. 5 | a. 3 /w. 3 | a. 4 /w. 4 | a. 3 /w. 5 | z. 1 | a. 1 | a. 3 | a. 1 | a. 4 | |
| z. 2 | a. 2 | a. 4 | a. 4 | a. 1 |
Maşın deyilir müəyyən etmək lazımdır və ya qismənya funksiya varsa d. Bütün cütlərdə müəyyən edilmir ( a m z f) Î A.x. Z.və ya funksiya l.bir mil maşını və moore maşın üçün bütün daxili dövlətlər deyil, bütün bu cütlüklərdə deyil, bütün bu cütlüklər müəyyən edilmir. Qeyri-müəyyən dövlətlər və çıxış siqnalları yerində nəzərə alınan masalardakı qismən mil və mili maşınları üçün bir tire edilir.
Avtomat saymaq - Bu, ucları dövlətlərə və qövslərə uyğun olan bir yönümlü bir qrafikdir. Qövs yuxarıdan yönəldilmişdir bir M. Yuxarıya bir S. , Dəzgahdakı dövləti dövlətdən təyin edir bir M. Dövlətdə bir S.. Bu qövsün əvvəlində giriş siqnalı qeyd olunur z f î zbu keçidin səbəbi: a s \u003d d(a m, z f). Mile maşın qrafiki üçün çıxış siqnalı üçün w g î wKeçiddə formalaşa bilən, qövsün sonunda və yuxarıdakı moore maşın üçün qeyd olunur , əlamət bir M.bu formalaşmışdır. Dövlətdən maşına keçid olarsa bir M. Dövlətdə bir S. Bir neçə giriş siqnalının hərəkəti altında aparılır, sonra qövs qrafiki bir M. içində bir S., Bütün bu giriş və müvafiq çıxış siqnalları aid edilir. Müqəddəs Kıl və Mura maşınlarının qrafikləri, müvafiq olaraq 3,6 və 3.7-də qurulmuşdur. A, b.
Uniamiliyanın sayı və tam əminliyin sayılması ilə əlaqədar olaraq aşağıdakılar nəticələnəcək:
Eyni vertexdən yaranan eyni giriş işarələri olan iki qabırğa yoxdur;
Hər hansı bir vertex üçün bir M. Və hər hansı bir giriş siqnalı üçün z F.bir simvol ilə qeyd olunan belə bir kənar var z F. çıxır bir M..
Şəkil.3.7. Automatanın sayılması: a.- mil; b.- Mura.
Çox sayda dövlət və keçid olan qrafikləri göstərərkən görünürlük itirilir, buna görə bu qrafiki keçidlərin siyahısı kimi təyin etmək üçün üstünlük verilir.
Birbaşa keçid cədvəli - Bütün keçidlərin ardıcıl olaraq ilk dövlətdən, ikincisindən və s. Cədvəl 3.8, Şəkil 3.7.A-da göstərilən qrafikə uyğun qurulmuş mil maşınının keçidlərinin birbaşa cədvəli.
Bəzi hallarda istifadə etmək rahat olduğu ortaya çıxır tərs Sütunların eyni şəkildə göstərildiyi keçid cədvəli, lakin ilk bütün keçidlər ilk vəziyyətə, sonra ikinci və s. Cədvəl 3.9, Şəkil 3.7.7-də göstərilən qrafik tərəfindən inşa edilmiş mili maşınının keçidlərinin tərs cədvəsidir.
Keçid masalarının qrafiki kimi, mənbəyi və keçidlərin tam olması şərtlərini ödəməlidir.
| Cədvəl 3.8, Mili Maşın keçidlərinin birbaşa cədvəli | Cədvəl 3.9 Tərs Mili Maşın keçid cədvəli | |||||||
| bir M.(t.) | z F.(t.) | bir S.(t +.1) | w G.(t.) | bir M.(t.) | z F.(t.) | bir S.(t +.1) | w G.(t.) | |
| a. 1 | z. 1 | a. 2 | w. 1 | a. 3 | z. 1 | a. 1 | w. 2 | |
| z. 2 | a. 4 | w. 5 | a. 4 | z. 1 | w. 4 | |||
| a. 2 | z. 1 | a. 2 | w. 1 | a. 1 | z. 1 | a. 2 | w. 1 | |
| z. 2 | a. 3 | w. 3 | a. 2 | z. 1 | w. 1 | |||
| a. 3 | z. 1 | a. 1 | w. 2 | a. 2 | z. 2 | a. 3 | w. 3 | |
| z. 2 | a. 4 | w. 4 | a. 4 | z. 2 | w. 5 | |||
| a. 4 | z. 1 | a. 1 | w. 4 | a. 1 | z. 2 | a. 4 | w. 5 | |
| z. 2 | a. 3 | w. 5 | a. 3 | z. 2 | w. 4 |
Mur maşınının birbaşa keçidləri cədvəli milə maşını da tikilir. Yeganə fərq, çıxışdır w G.(t.) maşının vəziyyətinə aiddir bir M.(t.) (Cədvəl 3.10) və ya çıxış w G.(t. bir S.(t +.1) (Cədvəl 3.11).
Mur maşınının keçidlərinin tərs cədvəli milə maşını da tikilir. Yeganə fərq, çıxışdır W G.(t.+1) maşının vəziyyətinə aiddir bir S.(t +.1) (Cədvəl 3.12).
Bəzi hallarda, maşının təyin edilməsi üçün istifadə olunur keçid və çıxışlar matrisləriiki giriş olan bir masa olanlar. Cədvəlin satırları və sütunları dövlətlər tərəfindən qeyd olunur. Bir keçid varsa bir M. Təsir altında z F. içində bir S. Məsələ ilə w G. Sonra simin kəsişməsində bir M. və sütunu bir S.para yazılıb z f w g. Hər hansı bir matris maşını qurmamaq aydındır. Bir qrafik və keçid və çıxış masası olaraq, birmənalılıq şəraitini və keçidlərin tamlığını təmin etməlidir.
| Cədvəl 3.10 Moore Moore Keçidləri Seçim 1 | Cədvəl 3.11 Düz Mur Moore Keçid Cədvəl Seçim 2 | |||||||
| bir M.(t.) | w G.(t.) | z F.(t.) | bir S.(t +.1) | bir M.(t.) | z F.(t.) | bir S.(t +.1) | w G.(t.+1) | |
| a. 1 | w. 3 | z. 1 | a. 1 | a. 1 | z. 1 | a. 1 | w. 3 | |
| z. 2 | a. 2 | z. 2 | a. 2 | w. 2 | ||||
| a. 2 | w. 2 | z. 1 | a. 3 | a. 2 | z. 1 | a. 3 | w. 3 | |
| z. 2 | a. 4 | z. 2 | a. 4 | w. 1 | ||||
| a. 3 | w. 3 | z. 1 | a. 1 | a. 3 | z. 1 | a. 1 | w. 3 | |
| z. 2 | a. 4 | z. 2 | a. 4 | w. 1 | ||||
| a. 4 | w. 1 | z. 1 | a. 4 | a. 4 | z. 1 | a. 4 | w. 1 | |
| z. 2 | a. 1 | z. 2 | a. 1 | w. 3 |
| Cədvəl 3.12 Moore Moore keçidləri seçimi 2 | |||
| bir M.(t.) | z F.(t.) | bir S.(t +.1) | w G.(t.+1) |
| a. 1 | z. 1 | a. 1 | w. 3 |
| a. 3 | z. 1 | ||
| a. 4 | z. 2 | ||
| a. 1 | z. 2 | a. 2 | w. 2 |
| a. 2 | z. 1 | a. 3 | w. 3 |
| a. 2 | z. 2 | a. 4 | w. 1 |
| a. 3 | z. 2 | ||
| a. 4 | z. 1 |
Kanonik tənliklərin (SPE) sistemləri və çıxış funksiyaları sistemi (SVF)keçid və çıxış masalarının və ya avtomatik qrafiklərin analitik təfsiridir. Xizək - Orta Asiyanın keçidlərinin funksiyalarını müəyyənləşdirir və Svf - TS 'çıxışlarının funksiyalarını müəyyənləşdirir.
Orta Asiyanın hər bir dövləti bu dövlətə çoxsaylı keçidlərə uyğun bir hadisə kimi şərh olunur:
Növü və SVF-nin qeydini azaltmaq üçün gələcək və zaman əlamətlərini aşağı salmaq üçün mümkün olduqda gələcəkdə olacaqdır t. Tip tənliklərinin sağ tərəfində (3.10).
Mili maşını üçün Cədvəl 3.8 və ya masa verilir. 3.9 Yazı və SVF (3.811i 3.12. Müvafiq olaraq):
| a. 1 (t.+1) = z. 1 a. 3 ú z. 1 a. 4 ; a. 2 (t.+1) = z. 1 a. 1 ú z. 1 a. 2 ; a. 3 (t.+1) = z. 2 a. 2 ú z. 2 a. 4 ; a. 4 (t.+1) = z. 2 a. 1 ú z. 2 a. 3 . | (3.11) | w. 1 (t.) = z. 1 a. 1 ú z. 1 a. 2 ; w. 2 (t.) = z. 1 a. 3 ; w. 3 (t.) = z. 2 a. 2 ; w. 4 (t.) = z. 1 a. 4 ú z. 2 a. 3; w. 5 (t.) = z. 2 a. 1 ú z. 2 a. 4. | (3.12) |
Müəyyən edilmiş moore maşın üçün tip və svf yazırıq. 3.10 - 3.12, (3.13 və 3.14, müvafiq olaraq).
Baranov Viktor Pavloviç. Diskret riyaziyyat. Bölmə 6. Son maşınlar və rəsmi dillər.
Mühazirə 31. Tərif və sonlu bir avtomat qurmağın yolları. Sintezin vəzifəsi. İbtidai avtomobillərvə sən
Mühazirə 30. Son bir avtomatlaşdırma qurmaq üçün tərif və metodlar.
Sintezin vəzifəsi. Elementar avtomat
Mühazirə planı:
1. Son avtomatlaşdırmanın tərifi.
2. Son bir maşın təyin etməyin yolları.
SFE, real cihazların vaxtında işlədiyini nəzərə almır. SFE ilə müqayisədə, təyinat maşını diskret qarşısının alınmasının daha dəqiq bir modelidir.b. məlumat ehtiyatları. Bu vəziyyətdə, hər hansı bir model kimi, son bir avtomat konsepsiyası,mən bir sıra asanlaşdıran fərziyyələri ilə əlaqələndirilir.
Birincisi, hər anda maşının giriş və çıxışı yalnız fərqli dövlətlərin son sayında yerləşə biləcəyi ehtimal edilir. Əgər real.b converter, davamlı bir giriş siqnalı var, sonra onu son bir avtomat ilə təsvir etmək üçün bu siqnalı ölçmək lazımdır. Maşının rəsmi tərifində, dəzgahın girişi və çıxışının son dəsti çağırıla bilərt ahəngli giriş və Çıxış əlifbasıvə ayrı dövlətlər -bu alfa və twit hərfləri.
İkincisi, vaxtın ayrı-ayrılıqda dəyişdiyi güman edilir. Giriş və çıxış statusu diskret vaxt ardıcıllığına uyğundurb kU anı mütləq onun indeksi ilə müəyyən edilir, sonra asanlaşdırmaq məqsədi ilə, zamanın 1, 2, ..., ... vaxt boşluğuna çağırıldığını güman edəcəyiktaktika.
Maşının istismarı aşağıdakı kimidir.
Automatonun girişi giriş əlifbasından siqnalların görünüşünə səbəb olan giriş əlifbasından siqnal verir. Z.amma girişdən çıxış ardıcıllığının asılılığı maşının daxili cihazından asılıdır. Qeyd edək ki, yaddaşa sahib olmayan SFE-dən fərqli olaraq avtomatikd. yaddaşı olan bir cihazdır, i.E. Automatonun çıxışı ilə müəyyən edilmirb girişə, eyni zamanda prehstorizasiyaya. Əvvəlcədən əvvəlki təqdirdə mühasibat uçotumən Çıxış siqnalının asılılığı təkcə girişdən deyil, həm də indiki vəziyyətə aiddir.
Maşının rəsmi tərifi veririk.
Dərk Ən yaxşı beş obyekti çağırın
, (1)
harada
inlet əlifbasıAçıqlayır; - mümkün girişlərdən biri;
- Son dəsti, çağırıldıÇıxış əlifbasıAçıqlayır; element n. mümkün çıxış vəziyyətlərini müəyyənləşdirirsiniz;
- Son dəsti, çağırıldıƏlifba daxili ardıcıllığıy aranları;
funksiya keçidləriavtomatik maşın:; Hər bir cütlüyün bu xüsusiyyəti "giriş vəziyyəti" bir şərt verir;
- Funksiya nəticələri avtomatik maşın:; Hər bir cütlüyün bu xüsusiyyəti "Giriş-dövləti" çıxış dəyərini qoyur.
Maşının istismarı qanunu: Maşın uyğun olaraq dövlətlərini dəyişdirirt. funksiya ilə funksiya və əyləncəyə uyğun olaraq çıxış siqnalları istehsal edirkIYA:
1 . Tab cədvəli. Funksiyalar və sahələr üçüne. dəyərlər son dəstə aiddir, cədvəllərdən istifadə etməklə göstərilir.
Misal 1. Maşını aşağıdakı kimi təyin edəcəyik:,. Funksiya ilə müəyyənləşdiririkkeçid cədvəlləri,və funksiya iləmasalar çıxır.
Cədvəl 1. Keçid cədvəli Cədvəl 2. Çıxış masası
|
giriş |
şərt |
||
|
giriş |
şərt |
||
Maşın girişindəki siqnalların ardıcıllığı məlum olarsa, onda masalare. hərəkət və nəticələr çıxış ardıcıllığı ilə misilsiz müəyyən edilir.
2 . Qrafik vəzifə üsulu.İstifadə olunan Çıxış keçid diaqramları. Hər içəridə olan bir yönümlü bir multigafdırt. maşının retnet vəziyyəti yuxarıya uyğundur. Dövlətdən dövlətə dəzgahları oxlarla təsvir edilmişdir, bunların hər biri daxilində daxil edilmiş giriş simvolus bu keçidi yazmaq və bir pulemyotun istehsal etdiyi çıxış simvolu.
| | |
FIG.1 Fiqurlu Diaqram
Misal 2. Aşağıdakı kimi işləyəcək bir maşın tikmək tələb olunuramma böyütmə: Hər vuruşda, komponentlərin növbəti ikili axıdılması pulemyotun girişinə gəlir vəiçində pomidor, onların cəmlərinin müvafiq ikili axıdılması istehsal edir. İki-iki üçünz. İnline şərtlərimiz var:,.
Əvvəlki boşaltma əlavə edərkən maşın 1 dövlətdədirvə cam transfer və 0 vəziyyətində - əks halda. Keçid-nəqliyyat vasitələrinin cədvəlivə əncirdə. 2.
00|0 11|1 01|0
01|1 10|0
10|1 00|1 11|1
Əndazəli 2.
SFE sintezinin vəzifəsi ilə bənzətmə ilə, Auto üçün sintez tapşırığı qoya bilərsinizamma tov. Əsas avtomatın məhdudiyyətsiz dəsti var. Maşını müəyyən edilmiş işləmə ilə toplamaq tələb olunur. Bu vəziyyətdə, favretin sintezinin vəzifəsit. müəyyən problemlərlə gülümsəmək.
Tutaq ki, avtomatın çıxışını maşının girişinə əlavə etməlisiniz. Bu mümkündür, başqa şəkildəhaqqında swarm ilkdən gələn siqnalları başa düşmür. Bu, qarışıq bir şeyə səbəb olurvə bəzi bağlantılar mümkün olmadıqda teansa.
Bu maneəni aradan qaldırmaq üçün bir quruluş pulemyot anlayışı, içindədirhaqqında torus bütün əlifbalar (giriş, çıxış və daxili dövlətlər) ikili sözlərlə kodlanır.
Tutaq - elementlərin son dəsti və -e. İkili söz ikili sözlər, harada. İxtiyari inyjektor xəritələşdirilməsi çağırılacaqbir dəst qab sözləri.
Özbaşına bir avtomat üçün əlifbalar kodlayacağıq:
Vaxtında kodlanmış giriş, çıxış və maşının vəziyyətini müvafiq olaraq qeyd edin. Sonra fəaliyyət qanunu kimi təqdim ediləcək
(2)
Kodlaşdırmadən sonra alınan maşın deyilirstruktur . Struktur maşınının ikili çıxışları, ikili çıxışları və avtomatının daxili vəziyyəti olan ikili sözün içərisində olduğu güman edirik. Şəkildə. 3 göstərilirabstrakt avtomatik və müvafiq struktur maşın.
… …
Əndazəli 3.
Struktur maşına keçid sintez üçün iki vacib üstünlük verir.et.
1 . Giriş və çıxışların uyğunluğu, çünki onlar ikili və ötürülürn. formalaşma. Struktur maşınlardan bir sxemin ümumi tərifini verməyəcəyik - SFE-yə bənzəyir.
2 . "Koordinatlarda" münasibətləri (2) yazırıq:
(3)
(3) -dən (3)bir quruluş maşınının fəaliyyətinin qanunu ilə qurulurvə boolean funksiyalarının buxarsızlığı.
Ən sadə struktur maşınlarını vurğulayırıq və adını veririk.
İlk dəfə qeyd edirik ki, yalnız bir dövləti olan bir funksional element yaddaş olmadan avtomatik hesab edilə bilər.
İki dövlətlə avtomobillərə müraciət edək. Maşının daxili dövlətə təsadüf edən bir ikili giriş və bir ikili çıxışı olsun:
Əndazəli Dörd.
Şəkildə göstərilən avtomatı təyin etmək. 4, yalnız masanı qurune dinamiklər:
Cədvəl 3.
|
giriş |
şərt |
|
Ulduzların əvəzinə 0 və 1. qoymalısınız, lakin bunların hamısı qəbul edilə bilməz, lakin hamısı qəbul edilə bilməz. Tutaq ki, məsələn, hər iki elementin ilk sütunundan. siz sıfırsınız. Belə bir avtomatik, 0 vəziyyətində olmaq, bunun daha çox işləmir, yəni funksional element kimi işləyəcək. Bənzər vəziyyətlərin təhlili göstərir ki, maşının alınmaması üçün yaddaş olmadan avtomatlaşdırılmasına icazə verilmir, bu zəruridirhaqqında cədvəl 3 və sıfır və bir sütunununa qoymaq. Günəşin belə masaları.ego ch e ch.
Cədvəl 4 Cədvəl 5
|
giriş |
şərt |
|||||
|
giriş |
şərt |
|||||
Cədvəl 6 Cədvəl 7
|
giriş |
şərt |
|
|
giriş |
şərt |
|
Yalnız iki sadə var, çünki 7-dən 4-dən və daxili dövlətlərin inversiyası ilə 5-dən 6-dək əldə edilir.
Cədvəl 4-də müəyyən edilmiş maşın deyilirgecikmə və ya -trigger:
yəni, bu maşın bir saatı bir siqnalları gecikdirir.
Cədvəl 5-də müəyyən edilmiş maşın deyilirsayıla bilən bir giriş ilə tetikleyici və ya -trigger . Maşın əyaləti 1 girişin girişinə gedirsə, əksinə dəyişir və giriş 0 alınsa, dəyişməz olaraq qalır:
Zamanın ilkin anında icazə verin- trigger 0 bir vəziyyətdədirsəe. vaxt anıdır- tətik 0 bir vəziyyətdədir, onda bu o deməkdir ki, avtomatın girişinə bərabər sayda vahid gəldi. Dövlətdə 1, onda qəribədir. Ətrafındavə Zom, - təticə girişdəki vahidlərin sayını nəzərdən keçirir, ancaq yalnız ikisi olduğundanmən mən iki-ə qədər düşünürəm.
Tetikleyicilərin fiziki icrası ilə iki nəticə istifadə olunur:düz və inver (Şəkil 5). Onları yerlərdə dəyişdirsən, onda- tətik avtomatik olaraq Cədvəl 7-də və ya tərəfindən təyin ediləcəkdir- tətik - Cədvəl 6-da avtomatik olaraq.
Əndazəli beş.
Bir quruluş maşın dəsti dolu deyilir (və ya avtomatikamma zis), hər hansı bir qeyri-adeş struktur maşını qura bilsəniz.
Riyaziyyatçıların Automata üçün teoremin analoqu əldə etmək üçün riyaziyyatçıların səyləri Uve deyiln. ayağı uğurla. 1964-cü ildə M.i. Müəyyənləşdirmək üçün alqoritmin mövcudluğunu qısaca sübut etdie. sistemin tamlığı. Bu vəziyyətdə sistemin nəzərdə tutulmuş tamlığı üçün seçimlər sistemlə bağlı əlavə fərziyyələrlə maraq doğurur. Onlardan ən populyar hesab edin.
Teorem. Avtomatik sistem,tam bir dəsti olan və -tetikleyici (və ya -trigger) tamdır.
Dəlil. Qiymətləndirmə ilə müəyyən edilmiş ixtiyari bir maşını nəzərdən keçirine. (2) və sxemini göstərilən avtomatdan təsvir edinkanonik quruluş (Şəkil 6).
Sxem iki hissədən ibarətdir.
…
…
…
Əndazəli 6.
Sol yarısı bir anbar hissəsi adlanır. Tetiklerdən ibarətdir, dəzgahın vəziyyətini təşkil edən dövlətlər dəsti: Vaxtında olarsa
, …,
bu, maşının bir dövlətdə olduğu deməkdir.
Sağ yarı birləşmə hissəsi adlanır və SFE-ni təmsil edir. Bu sxemin girişləri:
Çıxışlar:
Yaddaş idarəetmə siqnallarının daşın çıxması kimi eyni dəyişənlərdən boolean funksiyalarının olduğunu göstərir və bu, tam olaraq həyata keçirilə bilərvə Fe-nin üzləri.
Hər anda yaddaş idarəetmə siqnalları tərcümə etməlidiriçində dövlətdən dövlətə pomidor. Bunu etmək üçün hər tetikleyicinin vəziyyətini dəyişdirməlisiniz
, .
Kanonik sxemdə istifadə olunan və ya -triggerlərdə istifadə olunure. aşağıdakı əmlak: hər hansı bir cüt dövlət üçün bir giriş siqnalı vare. bir nəqliyyat vasitəsini dövlətdən idarə etmək. Bu siqnaldan imtina edin. -Triqger, çünki -Triqgerin quraşdırıldığı dövlət giriş siqnalına bərabərdir. Üçün -Trigger: Girişdə olduqdahaqqında 0 verin ki, vəziyyət dəyişmir; Nə vaxt - 1, belə ki, tetikleyici "çevrilir".
Beləliklə, və ya vektor şəklində
Dəzgahın (2) qanundan işləməsini ifadə edin. Sonra
Teorem sübut olunur.
Bu üsulu müəyyən bir nümunədə nəzərdən keçirin.
Misal. İki növün təfərrüatlarının hərəkət etdiyi və qurulduğu konveyerdəiçində qeyri-adi bir hissə olan bir çeşidləmə olan flax avtomatikdire. maşın tərəfindən qruplar yaratdılar. Yersizl. konveyerdən nods. Bu cür bir maşının sxemi -Trigger və elementlərdən "və", "və" deyil "," deyil "istifadə etmək tələb olunur.
Automatonun sintezi aşağıdakı addımlara bölünür.
1 . Mücərrəd bir maşın qurmaq.
Giriş əlifbası -. Çıxış əlifbası - haradaC - Başlanğıc təfərrüatları, s - onun keçidi. Maşının daxili vəziyyətləri onun yaddaşını artıq meydana gətirdiyi qrupun yaddaşını əks etdirir :. Qrup yaradıldıqca, maşın bu dövlətlərə uyğun olaraq, uyğun olmayan hissənin alındığı zaman dövləti dəyişdirmədən dövri şəkildə köçürülür. Çıxış keçid diaqramları Şəkildə göstərilir. 7.
| | |
Əndazəli 7.
2 . Əlifba kodlaşdırması.
Mümkün kodlaşdırma seçimlərindən biri də verilmişdire. Şüşə.
Dövlətin çıxışı
3 . Maşının kanonik quruluşunun inşası.
İnkişaf etmiş avtomatanın kanonik quruluşu Şəkildə göstərilir. səkkiz.
Əndazəli səkkiz.
Əvvəlcə dəyişənlərdən olan SFE çıxışlarının asılılıqlarını tapın (cədvəl 8), üçünhaqqında daha sonra düsturlar qururlar
, .
Cədvəl 8.
Bu xüsusiyyətlər deyilirqismən müəyyən edilmişdirMüəyyən edilmədiyi üçün. Bu funksiyaları təmsil etmək üçün onların düsturları daha sadə bir düstur əldə etmək üçün bu şəkildə həsr olunmuşdur.
4 . Maşın və yaddaş idarəetmə funksiyalarının funksiyalarının funksiyalarının funksiyalarının təqdimatıp mileyi.
Boolean funksiyalarını minimuma endirmək üsullarından istifadə edərək, qururuqhaqqında funksiyaların nomelləşdirilməsi, formulaların əsasında:
5 . SFE-nin icrası və maşının son sxemi (Şəkil 9).
Əndazəli doqquz.
Sfe
Sfe
Yox
Və ya
Son rəqəmsal maşınları təsvir etmək üçün standart (avtomatik) dillərdən istifadə edə bilərsiniz və İlkin dillər.
Standart və ya avtomatik təsvir dilləri.
Keçid və çıxışların funksiyalarını açıq şəkildə təsvir edirlər, yəni şəklində:
Keçid və çıxış masaları;
Maşının təyin edilməsindən sonra, bu, hər zaman bir sütun və n sütunları olan iki giriş olan iki giriş olan bir masa qoya bilər, burada Q (maşının vəziyyəti) və satır və a (giriş siqnalları) funksiyaların dəyərləridir φ ( l) (A i, q j) (keçid funksiyası); \\ | / ( m.) (A i, q j) (çıxış funksiyası).
Cədvəl 1
2) Vizual funksiyaları təmsil edən qrafik l. və M...
Son bir maşın göstərməyin başqa bir yolu - qrafik. Bu vəziyyətdə, maşının vəziyyətinin metodu status simvollarının uyğun olduğu dairələrlə təsvir edilmişdir q j (j \u003d1,..., p).M oxlar hər kupadan keçirilir
(Yönümlü Röbeber), giriş əlifbası x (v) simvollarına qarşı qarşılıqlı olaraq birmənalı şəkildə uyğun gəlir. Bir i I X və Dairədən yaranan bir I X və Q J Q (\\ | / (A I, Q J) ortaya çıxan bir arrow , Üstəlik, bu ox φ (a i, q j) ilə uyğun bir dairəyə aparır
Yaranan naxış avtomatın qrafiki və ya moore qrafiki adlanır. Çox mürəkkəb maşınlar üçün bu üsul bir cədvəldən daha vizualdır.
Muura avtomatik
Abstract Moore Machine, çıxış simvolu yalnız maşının vəziyyətində həsəd olduqda, moore maşın çıxışlarının funksiyası olanda (4) bir mili maşınının xüsusi bir işidir (4)
w.=m.(s.) (5)
Hər mil maşını üçün, eyni əlifba sırası ilə tamaşadan istifadə edən ekvivalent mur maşını qura bilərsiniz. Ol A.= <V, w, s, l, m, s(0)\u003e mili maşın. Ekvivalent moura vasitəsi olan dövlətlər olaraq, bir cüt götürün. Sonra ekvivalent muranın nəticələrinin funksiyası
və keçidlərin funksiyası
Boolean funksiyalarının sonlu avtomatik sistemini təyin etmək
Bir masa və ya moore cədvəli ilə göstərilən son avtomatlaşdırmanın a \u003d (x; q; y; \\ | /) təyin olunmasının üçüncü üsulu, Boolean funksiyaları sistemini müəyyənləşdirməkdədir.
X-inlet əlifbası;
Q-Automaton dövlətlərin dəsti;
Y-çıxış əlifbası;
φ Keçidin qəti;
\\ | / - Çıxışların funksiyası.
Bu vəzifənin alqoritmini təqdim edirik.
1. Nömrələr k, r, s,razı şərtlər 2 K -1 < t.< 2 k ;
2 R.- 1 < p ≤ 2 r;2 s - 1
Bu açıq-aydın k, r, smüvafiq olaraq nömrələrin ikili nümayəndəliyindəki axıdılması sayına bərabərdir t, p, r.Məsələn, əgər t -5, p\u003d 17, p \u003d 3, sonra k \u003d 3, r \u003d 5, s \u003d 2.
2. Orijinalın giriş və çıxış simvollarının vəziyyətlərini kodlaşdırmaq
Maşın.
Hər q j q qarşılıqlı bir şəkildə ikili uzunluq ardıcıllığına uyğun olaraq r. - ikili kod \u003d z 1 z 2 z r . Hamı və i X və B k Y-a bənzər, ikili ardıcıllıqla \u003d x 1 x 2 x k; \u003d y 1 y 2 y s.
Qeyd edək ki, dövlətlərin, giriş və çıxış simvollarının kodlaşdırılması bir çox cəhətdən həyata keçirilə bilər. Eyni zamanda, bəzi ardıcıllıqlar (kodlar) istifadə olunmamış ola bilər.
| . |
3. Aşağıdakı cədvəlin əhatəli:
Bu masa ehtiva edir k + r + r + ssütunlar I. 2 k + rxətlər. Qabaqdakı k + R.sütunlar bütün dəst dəstlərini boşaldır k + r.Hər bir bu dəstə bir növ (), bəzi dövlətin icazəsi, giriş simvolu koduna uyğundur.
4. Cədvəldəki son sütunları izləyin (əvvəlki addım).
Hər cüt üçün (a i, q j), harada və mən x; Q J Q. , kodu tapırıq və. Maşın masasında (və ya moore diaqram) müəyyənləşdirir və \\ | / (a; q) \u003d Y.Sonra kodu \u003d "1" 2 ... ",. və kodu tapırıq.
Cədvəldə müvafiq dəsti
dəstləmək
5. Boolean funksiyaları sisteminin tərifi.
Əvvəlki addımı icra etdikdən sonra masadakı bütün satırlar doldurulduğu ortaya çıxa bilər. Bu, m nömrələrindən biri olsa da, n baş verəcəkdir bu dərəcəsi deyil 2. Beləliklə, funksiyalar tam müəyyənləşdirilməyəcək - bəzi dəstlərdə onların dəyərləri müəyyənləşdirilməyib. Sonra onları özbaşına həsr edirik. Bir qayda olaraq, funksiyaların müdafiəsi, nəticədə bir və ya başqa bir optimallıq şərtləri ilə təmin olunan tam müəyyən edilmiş funksiyaların, məsələn, Minimal DNF idi.
Bu addımı yerinə yetirdikdən sonra mənbə maşını tam müəyyən edilmiş boolean funksiyaları sistemini təyin edəcəkdir.
3.2 ilkin dillər.
Maşını davranış səviyyəsində təsvir edirlər. İlkin dillərdə aşağıdakılar daxildir:
1) Məntiq dövrələri və alqoritmlər sxemlərinin qrafikləri;
2) hadisələrin cəbrinin müntəzəm ifadələrinin dili;
3) rəsmi və avtomatik qrammatika.
Tamamilə müəyyən edilmiş bir avtomatanın bir təsviri (4) standart formada göstərsəniz, onda maşının hər hansı bir ilkin vəziyyəti üçün s.(0) və giriş simvollarının ardıcıllığı v.(0)v.(1)v.(2)…v.(t.) Maşın reaksiyasını çıxış simvolları ardıcıllığı şəklində hesablaya bilərsiniz. w.(0)w.(1)…w.(t.).
Nümunələr.
Misal 1.. Maşın satıcısı qəzetləri 1 rubl və 2 rubl dəyərində pullar alır. Sikkələrin miqdarı 3 rubl varsa, avtomatik bir qəzet istehsal edir. Məbləğ 3 rubldan çox olarsa, maşın bütün pulları qaytarır. Giriş və çıxış simvollarının və maşının statusunun təyinatlarını təqdim edirik.
Giriş simvolları:
v. 1 - 1 rubl dəyərində olan sikkə;
v. 2 - 2 rublun ləyaqəti olan sikkə endirildi.
Çıxış simvolları:
w. 1 - "məbləğ 1 rub" mesajı;
w. 2 - "2 rubl məbləğini qəbul etdi" mesajı;
w. 3 - qəzetin verilməsi;
w. 4 - Pulu qaytarın.
Maşın vəziyyəti:
s. 0 - Qəbul edilmiş məbləğ 0 rub. (ilkin dövlət);
s. 1 - qəbul edilmiş məbləğ 1 rub;
s. 2 - 2 rubl məbləği qəbul edildi.
Keçid funksiyası Cədvəl 2-ni təmsil edəcək və nəticələrin funksiyası Cədvəl 3-dür.
Eyni maşın, maşınların vəziyyətinə uyğun olan və qövslər - keçidlər (Şəkil 3) olanlar üçün işarələnmiş bir orgraf kimi təyin edilə bilər.
|
Aşağıda bir vasitə reaksiyasının bir nümunəsidir. Giriş ardıcıllığı üzrə satıcı v. 1 v. 1 v. 2 v. 2 v. 1 v. 2 v. 2 v. 1 v. 1 v. 1 …:
| t. | … | |||||||||||
| v (t) | … | v 1. | v 1. | v 2. | v 2. | v 1. | v 2. | v 2. | v 1. | v 1. | v 1. | … |
| s (t) | … | s 0. | s 1 | s 2. | s 0. | s 2. | s 0. | s 2. | s 0. | s 1 | s 2. | s 0. |
| w (t) | … | w 1. | w 2. | w 4. | w 2. | w 3. | w 2. | w 4. | w 1. | w 2. | w 3. | … |
Misal 2. Satıcı yuxarıda göstərilənlər üçün satıcı, keçid / çıxış masası (Cədvəl 4) ilə xarakterizə olunan ekvivalent mur maşını quraşdırıla bilər.
Cədvəl 4.
| Yeni vəziyyət | |
| Giriş simvolu | Cari status / çıxış simvolu |
| v. 1 v. 2 | S. 1 v. 1 s. 2 v. 1 s. 2 v. 1 s. 0 v. 1 s. 0 v. 1 s. 0 v. 1 S. 1 v. 2 s. 2 v. 2 s. 2 v. 2 s. 0 v. 2 s. 0 v. 2 s. 0 v. 2 |
Şəkil 4, Cədvəl 4-ə uyğun avtomatlaşdırma satıcısının keçid / satış qrafikini göstərir. Moore ekvivalent maşınının ilkin vəziyyəti giriş simvolu daxildir. v.(0). Buna görə giriş simvollarının axını hərəkət etdirməlisiniz :.
| t. | … | ||||||||||
| … | v. 1 | v. 2 | v. 2 | v. 1 | v. 2 | v. 2 | v. 1 | v. 1 | v. 1 | … | |
| … | s. 01 | s. 11 | s. 12 | s. 02 | s. 21 | s. 02 | s. 22 | s. 01 | s. 11 | s. 21 | |
| w (t) | … | w. 1 | w. 2 | w. 4 | w. 2 | w. 3 | w. 2 | w. 4 | w. 1 | w. 2 | … |
Oğulu məktəbə göndərən valideynin davranışını təsvir edirik. Oğul iki və beş gətirir. Ata, hər dəfə, oğul iki dəfə aldığı anda kəmərini hər dəfə tutmaq istəmir və tərbiyəçi bir taktika seçir. Maşını təyin etmək, ucların dövlətlərə uyğun olduğu qrafa və dövlətin Dövlətinə olan Qrafiyentdən olan Qrafiyadan olan Qrafikdən, X Siqnal Qrafiyentə Qaldırma Reaksiya ilə. Valideynin ağıllı davranışını simulyasiya edən avtomatlaşdırmanın qrafiki Şəkildə təqdim olunur. beş.
Əndazəli 5. "Smart" atanın davranışını izah edən avtomatik
Bu maşının dörd dövlət (s1, s1, s2, s3) və iki giriş siqnalına malikdir - Sul məktəbi tərəfindən əldə edilən qiymətləndirmələr: (2.5). İlkin Dövlət S0-dən başlayaraq (giriş oxu ilə işarələnmişdir), giriş siqnallarının təsiri altında avtomatik bir dövlətdən digərinə ötürülür və çıxış siqnalları - girişlərə reaksiyalar. Maşının (U0, ..., U5) çıxışları, valideynin hərəkətləri kimi şərh ediləcəkdir:
y0: - Kəməri götür;
yL: - Oğlun Kök;
u2: - Oğulu sakitləşdirmək;
uZ: - Ümid;
u4: - Sevin;
u5: - Qoşulmaq.
Eyni qiymətləndirməni alan Oğul - ikisi, işinin arxa planından asılı olaraq tamamilə fərqli bir atanın cavabını gözləyir. Ata, oğlunun əvvəllər necə oxuduğunu və əvvəlki uğurlarını və uğursuzluqlarını nəzərə alaraq tərbiyəsini qurduğunu xatırlayır. Məsələn, 2,2 tarixində üçüncü ikisindən sonra 2 oğul kəmərlə qarşılaşacaq və tarixdə 2, 2, 5, 2 - sakitləşəcəkdir. Hər bir prehistror, \u200b\u200bmaşının hazırkı vəziyyətini müəyyənləşdirir, bəzi giriş tarixi isə bərabərdir (bu, eyni vəziyyətə gətirənlərdir): Tarix 2, 2, 5 ilkin vəziyyətə uyğun olan boş tarixə bərabərdir.
Maşının hazırkı vəziyyəti, maşının keçmiş davranışları baxımından keçmişi haqqında bildiyini - sonrakı girişlərə reaksiyaların olduğunu göstərir. Konsentrasiya edilmiş formada olan bu hekayə, hazırkı giriş siqnallarına reaksiya olaraq, maşının bütün gələcək davranışı və bütün gələcək davranışı ilə müəyyən edilir mövcud vəziyyətdir, ancaq maşının necə gəldiyini deyil.
Beləliklə, son avtomatik, diskret vaxtlarda (takt) işləyən bir cihazdır. Mümkün giriş siqnallarından biri, hər taktikada pulemyotun sonuna gəlir və bu, mövcud vəziyyətinin və qəbul edilmiş giriş siqnalının funksiyası olan çıxış siqnalı görünür. Maşının daxili vəziyyəti də dəyişir. Tetikleyici anları (saatları), zorla toxunan siqnalları və ya asinxron, xarici hadisənin başlanğıcını - siqnalın alınması ilə müəyyən edilir.
Final avtomatik olaraq rəsmi olaraq təyin edirik.
Qrafik nümayəndəliyə əlavə olaraq, maşın da masalar şəklində keçid və çıxışların funksiyalarını istifadə etmək və qurmaq olar. Nümunə nümunəsi aşağıdakı cədvəllər tərəfindən təqdim ediləcəkdir.
Cədvəl 5, ammabu kimi keçidlərin funksiyasını müəyyənləşdirir:
və nişan. 5, B nəticələrin funksiyasını müəyyənləşdirir : . (S0, 2) \u003d U2; (S2, 5) \u003d U3; ....
Mühazirəni planlaşdırmaq
1. cədvəlli moda
2. Maşın təyin etmək üçün qrafik metod
Son avtomatlaşdırmanı təyin etmək üçün Set S \u003d (A, X, Y,) bütün elementləri təsvir etmək lazımdır d., l.), i.E. Giriş, çıxış əlifbaları və dövlətlərin əlifbasını, habelə keçid funksiyalarını təsvir etmək lazımdır d. və nəticələr l.. Eyni zamanda, A \u003d (A 0, A 1, ..., A 1, ..., bir n), maşının zaman t \u003d 0 olduğu ilkin vəziyyəti A0-ni vurğulamaq lazımdır. Maşın işini təyin etməyin bir neçə yolu var, lakin ən çox istifadə olunan cədvəl və qrafikdir.
Bu üsulda mil maşını iki masa ilə təsvir olunur: keçid masası və çıxış masası.
Keçidlər cədvəli
|
x J.\bir J. |
|||
|
d.(A 0, x 1) |
d.(A n, x 1) |
||
|
x M. |
d.(a 0, x m) |
d.(a n, x M.) |
Masa çıxışı
|
x j \\ a j |
|||
|
l.(A 0, x 1) |
l.(A n, x 1) |
||
|
x M. |
l.(a 0, x m) |
l.(a n, x m) |
Bu masaların satırları giriş siqnallarına x (t) və sütunlara uyğundur. Keçid cədvəlində bir I və String X J J sütununun kəsişməsində, dövlət S \u003d təyin olunur d.[A i, x j], maşın bir i-dən bir i-dən bir i siqnalının təsiri altında keçəcəyi; Çıxış masasında - çıxış siqnalı Y G \u003d bu keçidə uyğundur l.[a i, x j].
Mili maşınının keçid və nəticələr cədvəli.
|
x j \\ a i |
|||
|
d.(A 0, x 1) / l.(A 0, x 1) |
d.(A n, x 1) / l.(A n, x 1) |
||
|
x M. |
d.(A 0, x m) / l.(a 0, x m) |
d.(a n, x m) /l.(a n, x m) |
Keçid və çıxışların vəzifəsi, son avtomatlaşdırmanın işini tam təsvir edir, çünki keçid və nəticələrin funksiyaları, həm də hər üç əlifbanın və dövlətlərin əlifbası.
Moore maşınını təyin etmək üçün, bir masa tələb etmək üçün, çünki bu maşında çıxış siqnalı maşının vəziyyəti ilə birmənalı olaraq təyin olunur.
|
y G. |
l.(a 0) |
l.(a n) |
|
|
x J.\\ a C. |
|||
|
d.(A 0, x 1) |
d.(A n, x 1) |
||
|
x M. |
d.(a 0, x m) |
d.(a n, x m) |
Mili
|
x j \\ a i |
||||
|
a 1 / Y 1 |
2 / y 3 |
Və 3 / y 2 |
a 0 / Y 1 |
|
|
a 0 / Y 2 |
a 0 / Y 1 |
3 / y 1 |
2 / y 3 |
Muura avtomatik
|
x j \\ x j |
|||||
Bu cədvəldə, hər bir sütun, bir I dövlətinə əlavə olaraq, çıxış siqnalı Y (t) \u003d l.(A (t)) bu vəziyyətə uyğundur. Moura maşın keçid cədvəli qeyd olunur, çünki hər bir dövlət çıxış siqnalı ilə qeyd olunur.
Miles və Mura Maşınlarının Masa vəzifəsinə nümunələr veririk:
Bu cədvəllər üçün hər hansı bir giriş sözünə avtomatik reaksiya tapa bilərsiniz. Misal üçün.
Mile Machine üçün: Mur üçün maşın:
x 1 x 2 x 2 x 2 x 1... x 1 x 2 x 2 x 2 x 1 ...
a 0 A 1 A 0 A 0 A 0 A 0 A 1 A 0 A 2 A 2 A 4 A 4 A 4
y 1 y 1 y 2 y 2 y 2 y 2 y 2 y 1 y 2 y 2 y 2 y 2 y 2
2. Maşın təyin etmə qrafiki üsulu (qrafikdən istifadə edən avtomatlaşdırma dəsti)
Bu üsul yönümlü bağlı qrafiklərin istifadəsinə əsaslanır. Qrafikin ucları maşınların vəziyyətinə və qövslər - aralarındakı keçidlər. Bir I və A s qrafikin iki ucu, bir i-dən bir keçid varsa, i-nin bir s-yə yönəldilmiş bir qövslə bağlanır. a s \u003d. d.(A i, x j). Maşında, qövsün mil məsafəsi keçid zamanı keçid və çıxış siqnal y g, keçid zamanı meydana gələn çıxış siqnalı Y j tərəfindən qeyd olunur. Qrafikin ucunu göstərən dairənin içərisində, dövlət yazılıb. Məsələn, mille avtomatika üçün, yuxarıdakı, qrafikdə bir forma var) və moore maşın forması üçün).
