I have been told (generic explanation) that 3SAT could be converted to unary 2DFA with endmarkers (assuming each variable of 3SAT as a prime number and then for each clause creating a cycle in unary 2DFA).Can someone please provide an example of the above with explanation of the process (a small example, say 3-4 clauses would be fine). Tried it but have not background in unary 2DFA.
Example for Converting 3SAT to unary 2DFA
np complete