000 04208nam a22005775i 4500
001 978-3-030-62536-8
003 DE-He213
005 20240730171141.0
007 cr nn 008mamaa
008 201107s2020 sz | s |||| 0|eng d
020 _a9783030625368
_9978-3-030-62536-8
024 7 _a10.1007/978-3-030-62536-8
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aDescriptional Complexity of Formal Systems
_h[electronic resource] :
_b22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings /
_cedited by Galina Jirásková, Giovanni Pighizzini.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aX, 245 p. 327 illus., 9 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12442
505 0 _aMutually 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.
520 _aThis book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19 crisis. The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
650 0 _aComputer science.
_99832
650 0 _aArtificial intelligence.
_93407
650 0 _aMachine theory.
_997278
650 0 _aDatabase management.
_93157
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aFormal Languages and Automata Theory.
_997279
650 2 4 _aDatabase Management.
_93157
700 1 _aJirásková, Galina.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997281
700 1 _aPighizzini, Giovanni.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_997282
710 2 _aSpringerLink (Online service)
_997285
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030625351
776 0 8 _iPrinted edition:
_z9783030625375
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12442
_997287
856 4 0 _uhttps://doi.org/10.1007/978-3-030-62536-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87418
_d87418