Кіріспе

Автоматтар теориясындағы және реттік логикадағы кесте

Автоматтар теориясында және реттік логикада күйлер ауысу кестесі – қазіргі күйге және басқа кіріс мәліметтеріне байланысты шекті күй машинасының қандай күйге (немесе нон-детерминистік шекті автомат жағдайында күйлерге) көшетінін көрсететін кесте. Бұл – кірістерге қазіргі күймен қоса басқа кірістерді, ал шығыстарға келесі күймен қоса басқа шығыстарды да қамтитын шындық кестесінің бір түрі. Күйлер ауысу кестесі – шекті күй машиналарын сипаттаудың көптеген әдістерінің бірі. Басқа әдістерге күй диаграммалары жатады.

Басқа нысандар

Бірнеше шекті күй машиналарындағы бір мезгілдегі ауысуларды, іс жүзінде, n өлшемді күй ауысу кестесі арқылы көрсетуге болады, онда қатарлар жұптары ағымдағы күйлерді келесі күйлерге шартады. Бұл жеке, бір-біріне тәуелді шекті күй машиналары арасындағы байланысты бейнелеудің басқа жолы. Ал екінші жағынан, бір шекті күй машинасының әрбір ауысуы үшін жеке кестелер қолданылған: "AND/OR кестелері" толық емес шешім кестелеріне ұқсас, онда қатысты ережелерге қатысты шешім, байланысты ауысудың іске қосылуы болып табылады.

Қалыптан/қалыпқа түрлендіру диаграммасы

Мемлекеттік өтпелі кестеден мемлекеттік диаграмманы салуға болады. Төменде осыны іске асыру үшін қарапайым қадамдар тізбегі келтірілген: берілген күйлерді бейнелеу үшін шеңберлерді салыңыз. Әрбір күй үшін, тиісті қатарды қарап шығып, сол күйге жебелерді салыңыз. Егер автомат детерминистік болмаса, бір кіріс символы үшін бірнеше жебе болуы мүмкін. Бастапқы күйді белгілеңіз. Бастапқы күй автоматтың формальды анықтамасында берілген. Бір немесе бірнеше күйді қабылдаушы күйлер ретінде белгілеңіз. Бұл да автоматтың формальды анықтамасында көрсетілген.