考虑以下语言。
L = { x∈{a,b}* ∣ number of a’s in x divisible by 2 but not divisible by 3 } DFA中接受L的最小状态数是_________。
注–此问题为数值类型。
(A) 6
(B) 5
(C) 7
(D) 4答案： (A)
说明：给定语言是，
L = { x∈{a,b}* ∣ number of a’s in x divisible by 2 but not divisible by 3 }
L = L1 – L2 = L1 ∩ L2'
Where,
L1 = { x∈{a,b}* ∣ number of a’s in x divisible by 2 }
L2 = { x∈{a,b}* ∣ number of a’s in x divisible by 3 }
L2' = { x∈{a,b}* ∣ number of a’s not in x divisible by 3 } 由于L 1仅需要2个状态，而L 2仅需要3个状态。另外，L的2称赞(即，L 2“)中需要相同数目的状态为L 2。
因此，L需要2 * 3 = 6个状态。
选项(A)是正确的。
这个问题的测验