English

Assisted Problem Solving and Decompositions of Finite Automata

Computational Complexity 2007-07-04 v1

Abstract

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. Languages with various degrees of decomposability between undecomposable and perfectly decomposable are shown to exist.

Keywords

Cite

@article{arxiv.0707.0430,
  title  = {Assisted Problem Solving and Decompositions of Finite Automata},
  author = {Peter Gaži and Branislav Rovan},
  journal= {arXiv preprint arXiv:0707.0430},
  year   = {2007}
}

Comments

14 pages

R2 v1 2026-06-21T08:54:45.597Z