در یک ماشین حالت متناهی معمولی ، انتقال در ارتباط با مجموعه ای از شرایط بولی به عنوان ورودی و مجموعه ای از توابع بولی به عنوان خروجی است. در یک مدل ماشین حالت متناهی محدود (EFSM) ، انتقال می تواند با یک "عبارت اگر " که شامل مجموعه ای از شرایط محرک است، بیان شود. اگر همهٔ شرایط محرک، ارضا شوند ، انتقال خاتمه می یابد و ماشین را از حالت جاری به حالت بعدی می برد و عملیات داده ای خاص را اجرا می کند.
S مجموعه ای از حالت هاست.
I مجموعه ای از نمادهای ورودی است.
O مجموعه ای از نمادهای خروجی است.
D فضای برداری n بعدی است. D 1 × … × D n {\displaystyle D_{1}\times \ldots \times D_{n}}
F مجموعه ای از توابع قادر سازی است. f i : D → { 0 , 1 } {\displaystyle f_{i}:D\rightarrow \{0,1\}}
U مجموعه ای از توابع به روز رسانی است. u i : D → D {\displaystyle u_{i}:D\rightarrow D}
T تابع انتقال است. T : S × F × I → S × U × O {\displaystyle T:S\times F\times I\rightarrow S\times U\times O}
EFSM به عنوان ۷ تایی M = ( I , O , S , D , F , U , T ) {\displaystyle M=(I,O,S,D,F,U,T)} تعریف می شود که در آن:
معماری FSM: مدل EFSM از سه بلوک اصلی ترکیبی زیر تشکیل شده است.
رفتار چرخه ای EFSM می تواند به سه گام تقسیم شود:
S مجموعه ای از حالت هاست.
I مجموعه ای از نمادهای ورودی است.
O مجموعه ای از نمادهای خروجی است.
D فضای برداری n بعدی است. D 1 × … × D n {\displaystyle D_{1}\times \ldots \times D_{n}}
F مجموعه ای از توابع قادر سازی است. f i : D → { 0 , 1 } {\displaystyle f_{i}:D\rightarrow \{0,1\}}
U مجموعه ای از توابع به روز رسانی است. u i : D → D {\displaystyle u_{i}:D\rightarrow D}
T تابع انتقال است. T : S × F × I → S × U × O {\displaystyle T:S\times F\times I\rightarrow S\times U\times O}
EFSM به عنوان ۷ تایی M = ( I , O , S , D , F , U , T ) {\displaystyle M=(I,O,S,D,F,U,T)} تعریف می شود که در آن:
معماری FSM: مدل EFSM از سه بلوک اصلی ترکیبی زیر تشکیل شده است.
رفتار چرخه ای EFSM می تواند به سه گام تقسیم شود: