考虑以下语言。
L = { x∈{a,b}* ∣ number of a’s in x divisible by 2 but not divisible by 3 } DFA 中接受 L的最小状态数是 _________ 。
注意——这个问题是数字类型。
(一) 6
(乙) 5
(三) 7
(四) 4答案：(一)
说明：给定的语言是，
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)是正确的。
这个问题的测验