Abstract: We consider a finite state automata based method of solving a system of linear Diophantine equations with coefficients from the set {-1,0,1} and solutions in {0,1}.

Keywords: system of the linear Diophantine equations, set of the basis solutions, outputless finite state automaton.

ACM Classification Keywords: F.1.1 Models of Computation - finite automata, systems of linear Diophantine constraints

Link:

AUTOMATA–BASED METHOD FOR SOLVING SYSTEMS OF LINEAR CONSTRAINTS IN {0,1}

Sergey Krivoi, Lyudmila Matvyeyeva, Wioletta Grzywacz

http://www.foibg.com/ijita/vol12/ijita12-4-p10.pdf