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

Laurette Marais, Lynette van Zijl. Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata. Int. J. Found. Comput. Sci., 33(3&4):313-333, 2022. [doi]

Abstract

Abstract is missing.