中国科技纵横
中國科技縱橫
중국과기종횡
CHINA SCIENCE & TECHNOLOGY PANORAMA MAGAZINE
2012年
16期
55
,共1页
格序幺半群%模糊有限自动机%最小化
格序幺半群%模糊有限自動機%最小化
격서요반군%모호유한자동궤%최소화
定义了一种新的矩阵运算并由此给出了格值有限Mealy型自动机的定义.将转移矩阵M和输出矩阵O分别扩展到M*和O*.给出了格值有限Mealy型自动机的状态等价和自动机等价的定义.定义了状态最小化自动机并且得出了结论:任意一个格值有限Mealy型自动机都存在一个与之等价的状态最小化自动机.
定義瞭一種新的矩陣運算併由此給齣瞭格值有限Mealy型自動機的定義.將轉移矩陣M和輸齣矩陣O分彆擴展到M*和O*.給齣瞭格值有限Mealy型自動機的狀態等價和自動機等價的定義.定義瞭狀態最小化自動機併且得齣瞭結論:任意一箇格值有限Mealy型自動機都存在一箇與之等價的狀態最小化自動機.
정의료일충신적구진운산병유차급출료격치유한Mealy형자동궤적정의.장전이구진M화수출구진O분별확전도M*화O*.급출료격치유한Mealy형자동궤적상태등개화자동궤등개적정의.정의료상태최소화자동궤병차득출료결론:임의일개격치유한Mealy형자동궤도존재일개여지등개적상태최소화자동궤.
