|
米利型有限状态机 在计算理论中，米利型有限状态机（英語：Mealy machine）是基于它的当前状态和输入生成输出的有限状态自动机（更精确的叫有限状态变换器）。这意味着它的状态图将为每个转移边包括输入和输出二者。与输出只依赖于机器当前状态的摩尔有限状态机不同，它的输出与当前状态和输入都有关。但是对于每个米利机都有一个等价的摩尔机，该等价的摩尔机的状态数量上限是所对应米利机状态数量和输出数量的乘积加1（|S'|=|S|*|Λ|+1）。 名源米利机的名字来自这个概念的提出者，在1951年写了《A Method for Synthesizing Sequential Circuits》的状态机的先驱喬治·H·米利。[1] 運作機制米利机提供了密码机的一个根本的数学模型。例如考虑拉丁字母表的输入和输出，一个米利机可以被设计用来把给定字母的字符串（一序列输入）处理成密码字符串（一序列输出）。但是，尽管你可能使用米利模型来描述恩尼格玛密码机，状态图对于提供设计复杂密码机的灵活方式而言太复杂了。 米利状态机与摩尔有限状态机不同，米利有限状态机的输出不单与当前状态有关，而且与输入信号的当前值有关。米利有限状态机的输出直接受输入信号的当前值影响，而输入信号可能在一个时钟周期内任意时刻变化，这使得米利有限状态机对输入的响应发生在当前时钟周期，比Moore有限状态机对输入信号的响应要早一个周期。因此，输入信号的噪声可能影响在输出的信号。 形式定义米利机是6-元组（S, S0, Σ, Λ, T, G），构成自：
参见引用註釋
參考文獻
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
