下图所示为两个有限自动机M1和M2A是初态C是终态 -X题卡

由0和1所组成的符号串的集合以0为头符号和尾符号，由0和1所组成的符号串的集合以两个0结束的，由O和1所组成的符号串的集合以两个0开始的，由0和1所组成的符号串的集合

0000 1111 0101 1010

若m1=m2，q1≠q2，则а=β 若m1=m2，q1>q2，则а>β 若m1=m2，q1若m1≠m2，q1=q2，则а=β

)若m1>m2，则弹簧将被压缩( )若m1)只有m1=m2，弹簧才会保持原长( )无论m1和m2为何值，弹簧长度均不变

M1和M2都是确定的有限自动机 M1和M2都是不确定的有限自动机 M1是确定的有限自动机，M2是不确定的有限自动机 M1是不确定的有限自动机，M2是确定的有限自动机

(011)*01 1*0*10*1 1*(0)*01 1*(0110)*1*

abab aabb bbaa bbab

M1和M2都是确定的有限自动机 M1和M2都是不确定的有限自动机 M1是确定的有限自动机，M2是不确定的有限自动机 M1是不确定的有限自动机，M2是确定的有限自动机

由0和1所组成的符号串的集合以0为头符号和尾符号，由0和1所组成的符号串的集合以两个0结束的，由0和1所组成的符号串的集合以两个0开始的，由0和1所组成的符号串的集合

abab aabb bbaa bbab

M1 和M2都是确定的有限自动机 M1和M2 都是不确定的有限自动机 M1是确定的有限自动机，M2是不确定的有限自动机 M1 是不确定的有限自动机，M2 是确定的有限自动机

M1和M2都是确定的有限自动机 M1和M2都是不确定的有限自动机 M1是确定的有限自动机，M2是不确定的有限自动机 M1是不确定的有限自动机，M2是确定的有限自动机

(011)*01 1*0*10*1 1*(0)*01 1*(0110)*1*

abab aabb bbaa bbab

(0 1)*01 1*0*10*1 1*(0)*01 1*(0 10)*l*

必须M₁先启动，M₂才能启动，然后两机连续运转必须M₁先启动、M₂才能启动，M₂启动后，M₁自动停机必须M₂先启动、M₁才能启动，M₁启动后，M₂自动停机 M₁、M₂可同时启动，必须M₁先停机，M₂才能停机

必须以11结尾的0、1串必须以00结尾的0、1串必须以01结尾的0、1串必须以10结尾的0、1串

下图所示为两个有限自动机M1和M2（A是初态、C是终态），（）。