Encoding of finite automata in Intersection Non-Emptiness problem cstheory.stackexchange.com/q/52341?atw=1 #cccomplexitytheory
0
0
0
63
0