1. 1Жиын ұғымы. Шекті және шексіз жиындар. Жиындарды анықтау тәсілдері.Ішкі жиындар. Берілген жиынның барлық жиынтығы. К- элемент жиындарының саны туралы n- элемент жиынтығы
жүктеу/скачать 336,61 Kb.
|
1. 1Жиын ??ымы. Шекті ж?не шексіз жиындар. Жиындарды аны?тау т?с
| Мур автоматы
Мур автоматы (екінші текті абстрактілі автомат) есептеу теориясында ақырлы автомат болып табылады, сигналдың шығыс мәні тек осы автоматтың ағымдағы күйіне байланысты және Мили автоматынан айырмашылығы, тікелей тәуелді емес енгізу мәндері. Мур автоматы оның қасиеттерін сипаттап, 1956 жылы «Gedanken-experiments on Sequential Machines» басылымында зерттеулерін жариялаған Эдвард Ф. Мурдың есімімен аталған. Суретте 2-і бар 5 күйдегі Мур автоматының графигі көрсетілген кіріс сигналдары және 2 шығыс сигналдары. Автомат Мур ω шығыс сөзі Мур автоматының кіріске жауабы деп аталады ξ сөзі a1 күйінде болады. Мили және Mур автоматтары үшін қарастырылатын мысалда реакциялар бірдей кіріс сөзге арналған автоматтар бірдей, бірақ олар ауыстырылады бір соққы.
C) Мур автоматын анықтаңыз реттелген жұптарға сәйкес келеді солай б) Мур автоматының ауысу функциясын анықтаңыз: в) Қателік функциясы анықталмаған, кез келген мәндерді алуға болады г) Мур машинасының бастапқы күйі егер Mили машинасының бастапқы күйі C) Бұл автоматтардың ажыратылмайтынын көрсетейік, яғни Үшін дәлелдеу үшін α жолының ұзындығына индукцияны қолданамыз. Мур машинасы үшін өту және шығу функциялары келесідей болады: x(t + ) = ф(х(/), р(0); X(t + 1) = |f(x(t + 1)) = |/(ср(х(0, Р(0) = V'(*(0, р(ОХ)))))) Мур машинасының шығыс функциясы машинаның ішкі күйімен анықталады. Асинхронды автомат үшін мінез-құлық келесі теңдеулер арқылы анықталады: x(t + 1) = ф(х(/), р(t + 1)); А,(/ + 1) = f(x(t + 1), р(? + 1)). Асинхронды автоматта кіріс күйінің өзгеруі келесі ішкі күйге көшуді тудырады, яғни. автоматтың ішкі күйі уақыттың бір мезетіндегі кіріс күйіне байланысты; сәйкес, автоматтың шығыс күйі оның кіріс күйіне байланысты. Егер автоматты оның ішкі күйлерін ескере отырып қарастыратын болсақ, онда ауысу функцияларын анықтау керек (Xj ішкі күйінен Xp ішкі күйіне, / = у-ны алып тастамай). Шығыс функцияларын орнату әрбір жұпқа (p, , x, -) шығыс күйі тағайындалғанын білдіреді. Автоматты осылай сипаттауға мүмкіндік беретін тілдер стандартты тілдер деп аталады. Стандартты тілдерге өту кестелері, шығыс кестелері, өтпелі матрицалар, қосу кестелері, өтпелі графиктер кіреді. 4.3 жүктеу/скачать 336,61 Kb. Достарыңызбен бөлісу:
|