DCFS , el Taller Internacional sobre Complejidad Descriptiva de Sistemas Formales es una conferencia académica anual en el campo de la informática .
A partir de la edición de 2011, las actas del taller aparecen en la serie Lecture Notes in Computer Science . Ya desde el principio, se publican versiones extendidas de artículos seleccionados como números especiales de International Journal of Foundations of Computer Science , Journal of Automata, Languages and Combinatorics , of Theoretical Computer Science y of Information and Computation . En 2002 DCFS fue el resultado de la fusión de los talleres DCAGRS (Complejidad Descriptiva de Autómatas, Gramáticas y Estructuras Relacionadas) y FDSR (Descripciones Formales y Confiabilidad del Software). El taller a menudo se ubica junto con conferencias internacionales en campos relacionados, como ICALP ., DLT y CIAA .
Como tal, los temas de la conferencia se superponen con los del Grupo de Trabajo 1.2 de la Federación Internacional para el Procesamiento de la Información sobre complejidad descriptiva .
En una encuesta sobre complejidad descriptiva, Holzer & Kutrib (2010) afirman que "desde hace más de una década, el Workshop on 'Descriptional Complexity of Formal Systems' (DCFS), [...] ha contribuido sustancialmente al desarrollo de [sus] campo de investigación." En una charla con motivo del décimo aniversario del taller, Dassow (2009) brindó una descripción general de las tendencias y direcciones en los trabajos de investigación presentados en DCFS.
La siguiente tabla incluye información básica sobre cada evento de DCFS, así como sobre sus precursores, DCAGRS y FSDR.