A Formal Framework for the Explanation of Finite Automata Decisions

Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey

Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering…