Let L be a language defined as follows: L = { w | w ∈ {0,1}* && w does not have any 1s that are separated only by 2*n 0's where n ∈ ℕ\{0} } examples: "11", "101", "00", "010" are in L "1001", "10100001" are not in L Which of the following attempts to prove that L is a non-regular language provides a valid fooling set 'S' + algorithm to choose a distinguishing suffix for a pair of elements in S? For each of the following attempts, select the most specific answer from the respective drop-down. Attempt #1: S = { 1, 100, 10000, ...} = { 102m | m ∈ ℕ } ALG = " Given two elements from S 102i and 102j, where i < j, choose suffix 02i1 " Attempt #2: S = { 1, 10, 100, ...} = { 10m | m ∈ ℕ } ALG = " Given two elements from S 10i and 10j, where i < j: IF (i even and j odd || j even and i odd) -> Choose suffix "1" ELSE -> Choose suffix "0i1" " Attempt #3: S = { 0, 10, 100 } ALG = " Choose the suffix according to the following map of element pairings: (0,10) -> choose suffix "01" (0,100) -> choose suffix "1" (10,100) -> choose suffix "1" " 1: Attempt #1 2: Attempt #2 3: Attempt #3匹配题
A
True - Valid proof.
B
False - Insufficient proof.
C
False - S not a fooling set.
D
False - S is a fooling set, but ALG does not always choose a distinguishing suffix.
登录即可查看完整答案
我们收录了全球超50000道真实原题与详细解析,现在登录,立即获得答案。
类似问题
A language L is regular if: (Pick all true statements)
Both the Deterministic and Non-Deterministic finite automata are equivalent in expressive power to the language of regular expressions.
Pick all non-regular languages: Notes Assume they are defined over the appropriate Sigma. Spaces are added to the patterns for readability purpose.
Pick all true statements about formal languages:
更多留学生实用工具
希望你的学习变得更简单
加入我们,立即解锁 海量真题 与 独家解析,让复习快人一步!