Create a JFLAP TM ∑ = {C,A,G,T}, L = { w : #C(w) > #A(w) and #C(w) % 3 > #A(w) % 2}. The file test_cases.txt, included
Posted: Fri May 20, 2022 5:21 pm
Create a JFLAP TM
∑ = {C,A,G,T}, L = { w : #C(w) >
#A(w) and
#C(w) % 3 > #A(w) %
2}. The file test_cases.txt, included with the test
materials, might be useful. Here are the expected results and the
explanations:
Input String
Result
Explanation
C
Accept
More C's than A's; #C(w) % 3 = 1
> #A(w) % 2 = 0}.
ACC
Accept
More C's than A's; #C(w) % 3 = 2
> #A(w) % 2 = 1}.
AGCTTCCG
Reject
#C(w) % 3 = 0 < #A(w)
% 2 = 1}.
AGCTTCG
Accept
More C's than A's; #C(w) % 3 = 2
> #A(w) % 2 = 1}.
AGCTTCACG
Reject
#C(w) % 3 = 0 = #A(w) %
2 = 0}.
TACCACCG
Accept
More C's than A's; #C(w) % 3 =
1> #A(w) % 2 = 0}.
GAGAGCT
Reject
Fewer C's than A's.
∑ = {C,A,G,T}, L = { w : #C(w) >
#A(w) and
#C(w) % 3 > #A(w) %
2}. The file test_cases.txt, included with the test
materials, might be useful. Here are the expected results and the
explanations:
Input String
Result
Explanation
C
Accept
More C's than A's; #C(w) % 3 = 1
> #A(w) % 2 = 0}.
ACC
Accept
More C's than A's; #C(w) % 3 = 2
> #A(w) % 2 = 1}.
AGCTTCCG
Reject
#C(w) % 3 = 0 < #A(w)
% 2 = 1}.
AGCTTCG
Accept
More C's than A's; #C(w) % 3 = 2
> #A(w) % 2 = 1}.
AGCTTCACG
Reject
#C(w) % 3 = 0 = #A(w) %
2 = 0}.
TACCACCG
Accept
More C's than A's; #C(w) % 3 =
1> #A(w) % 2 = 0}.
GAGAGCT
Reject
Fewer C's than A's.