Título :	22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	Jirásková, Galina, ; Pighizzini, Giovanni,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	X, 245 p. 327 ilustraciones, 9 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-62536-8
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Inteligencia artificial  Teoría de las máquinas  Gestión de base de datos  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2020, que se suponía que tendría lugar en Viena, Austria, en agosto de 2020, pero la conferencia fue cancelada debido a la crisis de COVID-19. Los 19 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros.
Nota de contenido:	Mutually Accepting Capacitated Automata -- Bad pictures: some structural properties related to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable -- On the Power of Generalized Forbidding Insertion-Deletion Systems -- State Complexity Bounds for the Commutative Closure of Group Languages -- Multiple Concatenation and State Complexity (Extended Abstract) -- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata -- Longer shortest strings in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion -- Descriptional Complexity of Winning Sets of Regular Languages -- State complexity of GF(2)-inverse and GF(2)-star on binary languages -- Complexity of Two-dimensional Rank-reducing Grammars -- Palindromic Length of Words with Many Periodic Palindromes -- Operational Complexity of Straight Line Programs for Regular Languages -- Classifying ω-Regular Aperiodic k-Partitions -- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata -- On the Generative Power of Quasiperiods -- Insertion-Deletion Systems With Substitutions II.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings [documento electrónico] / Jirásková, Galina, ; Pighizzini, Giovanni,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 245 p. 327 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-62536-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Inteligencia artificial  Teoría de las máquinas  Gestión de base de datos  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2020, que se suponía que tendría lugar en Viena, Austria, en agosto de 2020, pero la conferencia fue cancelada debido a la crisis de COVID-19. Los 19 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros.
Nota de contenido:	Mutually Accepting Capacitated Automata -- Bad pictures: some structural properties related to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable -- On the Power of Generalized Forbidding Insertion-Deletion Systems -- State Complexity Bounds for the Commutative Closure of Group Languages -- Multiple Concatenation and State Complexity (Extended Abstract) -- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata -- Longer shortest strings in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion -- Descriptional Complexity of Winning Sets of Regular Languages -- State complexity of GF(2)-inverse and GF(2)-star on binary languages -- Complexity of Two-dimensional Rank-reducing Grammars -- Palindromic Length of Words with Many Periodic Palindromes -- Operational Complexity of Straight Line Programs for Regular Languages -- Classifying ω-Regular Aperiodic k-Partitions -- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata -- On the Generative Power of Quasiperiods -- Insertion-Deletion Systems With Substitutions II.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i