Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata.

Laurette Marais Lynette van Zijl

Published in: AFL (2017)

Keyphrases

database
pairwise
np complete
finite automata