1 paper · 1 filter
Peter Gaži, Branislav Rovan
A study of assisted problem solving formalized via decompositions of deterministic finite automata is initiated. The landscape of new types of decompositions of finite automata thi…