Маьруза 1 Мавзу: Чекли автоматлар. Режа

Чекли автоматлар.

Ҳолатлар
Кириш		А	В
	0	А	В
	1	В	А

• Чекли детерминирланган автоматнинг ўтишлари

Бундай автоматни детерминирланган деб аталади, чунки ўтишлар жадвалининг ҳар бир элементида битта ҳолат мавжуд. Детерминирланмаган чекли автомат ҳолида эса ушбу шартга амал қилинмайди.

• Бундай автоматни детерминирланган деб аталади, чунки ўтишлар жадвалининг ҳар бир элементида битта ҳолат мавжуд. Детерминирланмаган чекли автомат ҳолида эса ушбу шартга амал қилинмайди.

Чекли автоматлар.

• Қуйидаги ҳолат орқали аниқланган чекли автоматни қараймиз:
• M1 = ( К1, ∑1, δ1 , S1 , f1 ).
• Бу ерда К1={A,B} , ∑1={1,0}, S1={A}, f1={B}
• Ўтишлар эса 10- жадвал ва расмда келтирилган.
• Эслатма: { } – ушбу кавсларда келтирилганлар учрамасликлари хам мумкин, ёки 1 марта учрашлари, ёки бир неча марта учрашлари мумкин.

Чекли автоматлар.

Ҳолатлар
Кириш		А	В
	0	ᶿ	{В}
	1	{A,В}	{B}

• М1 чекли детерминирланмаган автоматнинг ўтишлари.

Чекли автоматлар.

• Биринчи катор кабул килинади, чунки каторни укишда охирги холатга элтувчи утиш мавжуд (утишлар кетма-кетлиги). Худди шундай охирги булмаган каторга хам утиш мавжуд, лекин бунинг каторнинг кабул килинишига ахамияти йук. Шу сабабли, катор детерминирланмаган чекли автомат томонидан кабул килинмаслиги мумкин деган хулосага келишдан аввал, барча мавжуд утиш имкониятларини куриб чикиш зарур.