10 вариант (1023547), страница 4
Текст из файла (страница 4)
Ðåàëèçîâàòü ìèíèìàëüíûé àâòîìàò èç çàäà÷è 1 â âèäå ÑÑÀ (ñèíõðîííîé ñåòè àâòîìàòîâ) ìèíèìàëüíîé ñëîæíîñòè íàäïîëíîé àâòîìàòíîé ñèñòåìîé Σa = {RS − òðèããåð, Σ0 = {¬, ∨, ∧}}.ÇÀÄÀ×À 4. ßçûê L çàäàí íàä àëôàâèòîì A0 = {0, 1} è ñîñòîèò èçâñåõ ñëîâ ñëîâàðÿ A∗0 , êîòîðûå èìåþò êîíå÷íóþ äëèíó è ñîäåðæàò(íå ìåíåå îäíîãî ðàçà) ñëîâî α.
Ñîñòàâèòü ðåãóëÿðíóþ ôîðìóëó èèñòî÷íèê äëÿ ÿçûêà L.ÇÀÄÀ×À 5. Ñ ïîìîùüþ òåîðåìû (ñèíòåçà) Êëèíè ïîñòðîèòü íàïðàâëåííûé (èíèöèàëüíûé) àâòîìàò Ìóðà, ïîðîæäàþùèé ÿçûê Lèç çàäà÷è 4.ÇÀÄÀ×À 6. Ìèíèìèçèðîâàòü àâòîìàò Ìóðà èç çàäà÷è 5 è ïðîâåðèòü (äîêàçàòåëüíî) ïîëó÷åííûé ìèíèìàëüíûé àâòîìàò íà ýêâèâàëåíòíîñòü ìèíèìàëüíîìó àâòîìàòó èç çàäà÷è 1.26ÒÅÎÐÅÒÈ×ÅÑÊÈÅ ÂÎÏÐÎÑÛ1. Îïðåäåëåíèå è ñïîñîáû çàäàíèÿ àâòîìàòà Ìèëè. Ïîñëåäîâàòåëüíûé äâîè÷íûé ñóììàòîð.2. Àâòîìàòíîå îòîáðàæåíèå, åãî ñâîéñòâà.
Àâòîíîìíûé àâòîìàò.Ñâîéñòâà åãî àâòîìàòíîãî îòîáðàæåíèÿ.3. Ýêâèâàëåíòíûå ñîñòîÿíèÿ è ýêâèâàëåíòíûå àâòîìàòû. Òåîðåìà îñóùåñòâîâàíèè ìèíèìàëüíîãî àâòîìàòà.4. Àëãîðèòì ìèíèìèçàöèè àâòîìàòà.5. Êîìáèíàöèîííûå è ëîãè÷åñêèå àâòîìàòû. Òåîðåìà î ðåàëèçàöèèëîãè÷åñêîãî àâòîìàòà â âèäå ÑËÑ.6. Òåîðåìà î ðåàëèçàöèè ïðîèçâîëüíîãî àáñòðàêòíîãî àâòîìàòà ââèäå ÑËÑ.7. Àâòîìàò Ìóðà, åãî ñâÿçü ñ àâòîìàòîì Ìèëè (òåîðåìà).8. Ïàðàëëåëüíîå ñîåäèíåíèå äâóõ àâòîìàòîâ.9. Ïîñëåäîâàòåëüíîå ñîåäèíåíèå äâóõ àâòîìàòîâ.10. Ñîåäèíåíèå àâòîìàòîâ ñ îáðàòíîé ñâÿçüþ.11. Àâòîìàòíî ïîëíûå ñèñòåìû àâòîìàòîâ. Òåîðåìà î äîñòàòî÷íîìóñëîâèè àâòîìàòíîé ïîëíîòû.12.
Òðèããåðû, èõ àâòîìàòíûå òàáëèöû è äèàãðàììû Ìóðà. Ðåàëèçàöèÿ îäíèõ òðèããåðîâ ñ ïîìîùüþ äðóãèõ.13. Äåòåðìèíèðîâàííûå ôóíêöèè. Èõ ñâÿçü ñ A-äåðåâîì.14. Âåñ A-äåðåâà. Îãðàíè÷åííî äåòåðìèíèðîâàííûå ôóíêöèè. Òåîðåìà î íåîáõîäèìîì è äîñòàòî÷íîì óñëîâèè àâòîìàòíîãî îòîáðàæåíèÿ.15. Îïðåäåëåíèå ìàøèíû Òüþðèíãà. Åå ñâÿçü ñ êîíå÷íûì àâòîìàòîì.16. Ïîíÿòèå ôóíêöèè, âû÷èñëèìîé ïî Òüþðèíãó. Âû÷èñëèìîñòü ñóïåðïîçèöèè è ðàçâåòâëåíèÿ.17. Ïîíÿòèå ïðèìèòèâíî-ðåêóðñèâíîé, ðåêóðñèâíîé è ÷àñòè÷íî ðåêóðñèâíîé ôóíêöèè.
Áàçîâûå ôóíêöèè è îñíîâíûå îïåðàòîðû.18. Òåîðåìû î ïðèìèòèâíîé ðåêóðñèâíîñòè êîíñòàíò, ïåðåñòàíîâêèè îòîæäåñòâëåíèÿ ïåðåìåííûõ.19. Òåîðåìû î ïðèìèòèâíîé ðåêóðñèâíîñòè ñóììû, ïðîèçâåäåíèÿ èâîçâåäåíèÿ â ñòåïåíü.20. Òåîðåìû î ïðèìèòèâíîé ðåêóðñèâíîñòè óðåçàííîãî âû÷èòàíèÿ,ìîäóëÿ, ôóíêöèè ñèãíóì, ìèíèìóì è ìàêñèìóì, áóëåâûõ ôóíêöèé.2721. Òåîðåìà î ñâÿçè ôóíêöèé, âû÷èñëèìûõ ïî Òüþðèíãó, ñ ÷àñòè÷íîðåêóðñèâíûìè ôóíêöèÿìè. Òåçèñû Òüþðèíãà è ×åð÷à.22. Ìèêðîïðîãðàììíûå àâòîìàòû, èõ ðåàëèçàöèÿ.23. Ïåðå÷èñëèìûå è ðàçðåøèìûå ìíîæåñòâà.
Òåîðåìà Ðàéñà (áåçäîêàçàòåëüñòâà).24. Íàñòðîåííûé àâòîìàò Ìóðà. Àâòîìàòíî ïîðîæäåííûé ÿçûê.25. Ðåãóëÿðíûå îïåðàöèè íàä ÿçûêàìè. Îïðåäåëåíèå ðåãóëÿðíîãîÿçûêà.26. Îïðåäåëåíèå èñòî÷íèêà. Ïîñòðîåíèå èñòî÷íèêà äëÿ ðåãóëÿðíîãîÿçûêà.27. Òåîðåìà ñèíòåçà Êëèíè (ïîñòðîåíèå àâòîìàòà Ìóðà äëÿ àâòîìàòíîãî ÿçûêà).28.
Àëãîðèòìè÷åñêàÿ ðàçðåøèìîñòü çàäà÷è òîæäåñòâà ðåãóëÿðíûõÿçûêîâ.Âîïðîñû ê çà÷åòàì è ýêçàìåíàì ìîãóò áûòü óòî÷íåíû è äîïîëíåíûëåêòîðîì.ËÈÒÅÐÀÒÓÐÀ1. Êóçíåöîâ Î.Ï., Àäåëüñîí-Âåëüñêèé Ã.Ì. Äèñêðåòíàÿ ìàòåìàòèêàäëÿ èíæåíåðà. Ì.: Ýíåðãîàòîìèçäàò, 1988; Êóçíåöîâ Î.Ï.
Äèñêðåòíàÿ ìàòåìàòèêà äëÿ èíæåíåðà. ÑÏá: ¾Ëàíü¿, 2007.2. Ãàâðèëîâ Ã.Ï., Ñàïîæåíêî À.À. Çàäà÷è è óïðàæíåíèÿ ïî äèñêðåòíîé ìàòåìàòèêå. Ì.: ÔÈÇÌÀÒËÈÒ, 2005.ÄÎÏÎËÍÈÒÅËÜÍÀß ËÈÒÅÐÀÒÓÐÀ3. ßáëîíñêèé Ñ.Â. Ââåäåíèå â äèñêðåòíóþ ìàòåìàòèêó. Ì.: Íàóêà,1986.4.
Âøèâöåâ À.Ñ., Ïðèìåíêî Ý.À. Ýëåìåíòû äèñêðåòíîé ìàòåìàòèêè. Ì.: ÌÈÐÝÀ, 1986.5. Âøèâöåâ À.Ñ, Ïðèìåíêî Ý.À. Ìåòîäû îïòèìàëüíîãî ïðîåêòèðîâàíèÿ ñåòåé è ôîðìàëüíûå àëãîðèòìû.. Ì.: ÌÈÐÝÀ, 1988.ÑÎÄÅÐÆÀÍÈÅÌàòåìàòè÷åñêèé àíàëèç, 2 ñåìåñòð . .
. . . . . . . . . . . . . . . . . . . .3Òèïîâîé ðàñ÷åò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3Êàëåíäàðíûé ïëàí óïðàæíåíèé . . . . . . . . . . . . . . . . . . . . . . .17Òåîðåòè÷åñêèå âîïðîñû ê ýêçàìåíó . . . . . . . . . . . . . . . . . . . .17Îñíîâû äèñêðåòíîé ìàòåìàòèêè, 2 ñåìåñòð . . .
. . . . . . . . . .20Ìàòåìàòè÷åñêàÿ ëîãèêà è òåîðèÿ àëãîðèòìîâ, 3 ñåìåñòð25.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
