частична машина
Частично автомат е абстрактно автомат чийто преход функция или функция на изхода (нормална или изместен), или и двете от тези функции не са определени за всички двойки стойности на техните аргументи и им. [1]
Чрез предприемане на подходящи частичен автомат. където преходите и изходите не са определени на всички, като по този начин ние си запазваме правото да се определи тяхната по-късно, тъй като ще бъде удобно. [2]
За частични машини използват същия метод обстановка, както и за някои машини. В тези места или преходи изход на маса (нормална или изместен), който разполага с изобразен не са идентифицирани, ние ще постави тире. Брой частично автомат chmozhet има върхове, които не се отклоняват от стрелката посочено от различни входни сигнали. [3]
За частичен автомати Мур естествено поема всички забранени държави, за които не се определя изместен изход функция. Лесно е да се разбере, че преходът от първоначалното състояние на забранени под влиянието на не-празни думи на Мур автомат е само в случаите, когато думата е - забранено. [4]
За частичен щитоносна и Мур смята маси на мястото недефинирани държави и изходни сигнали пуснати тире. [5]
В случай на частични допълнение автомати за еквивалентност и изоморфизъм машини често се използва терминът еквивалент и изоморфни продължават машините. [6]
Същността на проблема за намаляване до минимум на частичните машините е следното: като се има предвид частичното автоматично (Мур или щитоносна) А, предизвикване на частичен автомат картографиране е определено на набор от М входни азбука думи. Задължително за изграждане на частична автоматизация (Мур или щитоносна съответно), в която предизвиква частична автоматизация картографиране за да съответства на снимачната площадка на M с F на картографиране, и има най-малък брой вътрешни състояния на всички автомати (Мур или щитоносна) отговарят на това условие. [7]
За разлика от частичен автомати. считат за по-ранни машини се наричат добре дефинирани. [8]
В случай на частична автомати преходен собственост на отношения / - съвместимост, най-общо казано, не е изпълнено. [9]
В случай на частична автомати тя е много по-сложно: с изграждането на A-Class и нормални форми на процеса на намаляване на, най-общо казано, не свършва дотук. [10]
Ако произволно частичен преход функция на автомата А щитоносна не се счита даден във всички точки, в които е посочено, че функцията на изхода е възникнала по този начин нов частичен щитоносна B ще предизвика същия частично картографиране че автоматично А. [11]
Без промяна на предизвикана частична Мур автомат частичен дисплея може да се счита, че преход функция на автомата несигурен, когато получи забранено стойност. [12]
Подобно на добре дефинирани частични автомати са разделени на машини от първи и втори тип, щитоносна автомати и Мур. Изоморфизъм частично автомати осигурява изоморфни картографиране съответстваща на карта набор от стойности, при които функцията на преход не е дефиниран и изхода (нормални или изместен) една машина за множество от стойности, които не са дефинирани съответните функции на друга машина. [13]
Имайте предвид, че частичен синтез машината не се различава от по-горе. Ако комбинациите от входния сигнал и частични вътрешни състояния на автомата, които не са включени в таблицата, кодиран от преходи и изходни стойности на функциите на възбуждане могат да се избират произволно. [15]
Страници: 1 2 3 4
Сподели този линк:
Свързани статии