  A study of assisted problem solving formalized via decompositions ofdeterministic finite automata is initiated. The landscape of new types ofdecompositions of finite automata this study uncovered is presented. Languageswith various degrees of decomposability between undecomposable and perfectlydecomposable are shown to exist.
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 this study uncovered is presented.