Existe evidencia teórica de que la ingenua construcción de productos cartesianos para la intersección de los DFA es "lo mejor que podemos hacer". ¿Qué pasa con la concatenación de dos DFA? La construcción trivial implica convertir cada DFA en un NFA, agregar una transición épsilon y determinar el NFA resultante. ¿Podemos hacerlo mejor? ¿Existe un límite conocido en el tamaño de los DFA de concatenación mínima (en términos de los tamaños de los DFA "prefijo" y "sufijo")?