ܼ

ϩ

ˤäƷޤ뺣ξ֤ΤȤ֡internal stateȸƤ֤֡ѤäƤȤܤtransitionȤ

ʤ֤οͭ¸ĤǤΤͭ¾ֵFSMFinite State MachineȸƤ֡ϽϩΤΤǤ롣

ϩ߷1

®ϩ߷פƤߤ롣CΩ夬ꤴȤ˽X01ؤ褦ϩͤ롣

Τ褦ϩϡCΩ夬ΤȤX=0ǤмX=1X=1ǤмX=0פȤϩǤΤǡֺXξ֤˰¸ơXޤפȤޤ˽ϩǤ롣 ϩͤǤ֤ͤʤФʤʤξ֤ϡX=0ξ֡פȡX=1ξ֡פ2ĤʤơCΩ夬ꤴȤˡξԤڤؤ櫓Ǥ롣

2Ĥ֤˼Τ褦S0S1Ȥ̾դ뤳Ȥˤ롣

  1. S0X=0ξ
  2. S1X=1ξ

ȡνϩưϡCΩ夬ΤȤˡΤ褦ˤʤȸ뤳ȤǤ롣

  1. S0X=0ˤξ֤ʤСS1X=1ξ֡ˤܤơXX=1Ȥ롣
  2. S1X=1ˤξ֤ʤСS0X=0ξ֡ˤܤơXX=0Ȥ롣

ưϼΤ褦ʾܿޤɽ롣

ޤ֤S0S1Ȥ褦ʵǽ񤤤Ƥ줫ϩ櫓ʤΤǡ֡οǽ񤤤ƤȤˤ롣㤨СΤ褦롣

  1. S0S=0
  2. S1S=1

Τ褦ʤ줾֤ɽѿͤΤȤstate codeȸƤ֤ϼΤ褦˾ܿޤȤǤ롣

ξܿޤˤ2ܤĤޤ2βǽʾ֤ܤ롣ϼΤ褦ʾɽɽȤǤ롣

SSX
011
100

ˤϡΤ褦ʹܤ롣

  1. S'CΩ夬ܤä
  2. Xϩν

ɽϡ㤨кS=0֤S0ˤΤȤCΩ夬꤬äƾܤȡܤS=1S1ˤǡ˱ƽXϡX=1ˤʤȤȤɽƤ롣󡢤μˤ⤦CΩ夬뤬ȡ٤ϺS=1֤S1ˤǤ뤫顢S=0֤S0ˤȤʤäX=0Ȥʤ롣