Hay muchos problemas abiertos en TOC. La investigación en este campo es principalmente teórica, que consiste en probar teoremas (al menos comprender pruebas) en lugar de solo aplicar una idea o heurística para resolver una instancia particular de un problema. También hay muchos problemas basados en herramientas, pero finalmente debe sentirse al menos cómodo leyendo y entendiendo los resultados teóricos.
Los problemas clásicos se resuelven en su mayoría, pero se están llevando a cabo muchas investigaciones para resolver problemas similares en el marco del autómata extendido, por ejemplo, autómatas con restricciones de tiempo o autómatas con datos o autómatas probabilísticos, etc. Los resultados de estos formalismos no tienen más de 30 años. más o menos. De hecho, para muchos de estos no existe una caracterización lógica.
La mayoría de estos problemas están inspirados en la verificación de programas de software.
- ¿Cuáles son los desafíos de Internet de las cosas para la informática teórica?
- ¿Cómo habría sido diferente la historia si las primeras computadoras fueran significativamente más poderosas para empezar?
- ¿Debería todo científico de la computación comenzar a trabajar en el aprendizaje automático porque una vez que producimos máquinas que pueden pensar como humanos, todo lo demás puede hacerse mediante máquinas?
- ¿Cómo se gana el premio al mejor artículo en una conferencia de informática?
- ¿Por qué TeXmacs aún no ha reemplazado a TeX o LaTeX?