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 ampliadas de artículos seleccionados como números especiales del International Journal of Foundations of Computer Science , el 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 (Descriptional Complexity of Automata, Grammars and Related Structures) y FDSR (Formal Descriptions and Software Reliability). El taller a menudo se celebra junto con conferencias internacionales en campos relacionados, como ICALP , DLT y CIAA .
Temas del taller
Los temas típicos incluyen:
- Varias medidas de complejidad descriptiva de autómatas, gramáticas, lenguajes y sistemas relacionados.
- Compensaciones entre la complejidad descriptiva y el modo de operación
- Complejidad del circuito de funciones booleanas y medidas relacionadas
- Concisión en la descripción de objetos (finitos)
- complejidad de estados de autómatas finitos
- complejidad descriptiva en entornos limitados por recursos o por estructura
- complejidad estructural
- complejidad descriptiva de sistemas formales para aplicaciones (por ejemplo, confiabilidad del software, pruebas de software y hardware, modelado de lenguajes naturales)
- Aspectos de complejidad descriptiva de arquitecturas motivadas por la naturaleza (bioinspiradas) y modelos no convencionales de computación
- Complejidad de Kolmogorov-Chaitin y complejidad descriptiva
Como tal, los temas de la conferencia se superponen con los del Grupo de Trabajo 1.2 de la Federación Internacional de Procesamiento de Información sobre complejidad descriptiva .
Significado
En un estudio sobre la complejidad descriptiva, Holzer y Kutrib (2010) afirman que "desde hace más de una década, el Taller sobre 'Complejidad descriptiva de sistemas formales' (DCFS, por sus siglas en inglés) [...] ha contribuido sustancialmente al desarrollo de [su] campo de investigación". En una charla con motivo del décimo aniversario del taller, Dassow (2009) presentó una visión general sobre las tendencias y direcciones en los trabajos de investigación presentados en el DCFS.
Historia del taller
Presidentes del Comité Directivo de la serie de talleres del DCFS:
La información básica sobre cada evento DCFS, así como sobre sus precursores, DCAGRS y FSDR, se incluye en la siguiente tabla.
Véase también
Referencias
- Bianca Truthe: "Informe sobre el DCFS 2008". Boletín de la EATCS 96 :160-161, octubre de 2008. Edición en línea [ enlace muerto permanente ] consultado el 9 de febrero de 2009.
- Dassow, Jürgen (2009). "10 años de DCFS" (PDF) .Charla celebrada en el 11º DCFS en Magdeburgo, Alemania, del 6 al 9 de julio de 2009.
- Ian McQuillan: "Informe sobre el DCFS 2009". Boletín de la EATCS 99 :185-187, octubre de 2009. Edición en línea consultada el 24 de noviembre de 2009.
- Actas electrónicas en informática teórica, sitio web oficial.
- Holzer, Markus; Kutrib, Martin (2010), "Complejidad descriptiva: una revisión introductoria", en Martín-Vide, Carlos (ed.), Aplicaciones científicas de los métodos del lenguaje, las matemáticas, la informática, el lenguaje y la vida: fronteras en lingüística matemática y teoría del lenguaje, vol. 2, Imperial College Press, págs. 1–58, ISBN 978-1-84816-544-1, archivado desde el original (PDF) el 25 de marzo de 2012 , consultado el 16 de marzo de 2011
- McQuillan, Ian; Pighizzini, Giovanni (2010), McQuillan, Ian; Pighizzini, Giovanni (eds.), "Prefacio", Actas electrónicas en informática teórica , 31 , arXiv : 1008.1270 , doi :10.4204/EPTCS.31, S2CID 24469647
- Andreas Malcher: "Informe sobre el DCFS 2012". Boletín de la EATCS 108 :168-169, octubre de 2012. Edición en línea.
Enlaces externos
- Complejidad descriptiva de los sistemas formales: sitio web oficial
