Complex sentence: In automata theory, automata construction is an important mathematical technique used to demonstrate that there exist an automaton that carries a desired property.
Split into simpler sentences: In automata theory, automata construction is an important mathematical technique. It is used to demonstrate that there exist an automaton that carries a desired property.