000 03720nam a22006255i 4500
001 978-3-319-62809-7
003 DE-He213
005 20240423130227.0
007 cr nn 008mamaa
008 170720s2017 sz | s |||| 0|eng d
020 _a9783319628097
_9978-3-319-62809-7
024 7 _a10.1007/978-3-319-62809-7
_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 _aDevelopments in Language Theory
_h[electronic resource] :
_b21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
_cedited by Émilie Charlier, Julien Leroy, Michel Rigo.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXXIII, 379 p. 79 illus.
_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 ;
_v10396
505 0 _aCombinatorial and algebraic properties of words and languages -- Grammars acceptors and transducers for strings, trees, graphics, arrays -- Algebraic theories for automata and languages -- Codes -- Efficient text algorithms -- Symbolic dynamics -- Decision problems -- Relationships to complexity theory and logic -- Picture description and analysis, polyominoes and bidimensional patterns -- Cryptography; concurrency -- Celluar automata -- Bio-inspiredcomputing -- Quantum computing.
520 _aThis book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspiredcomputing; quantum computing.
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aAlgorithms.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aNatural language processing (Computer science).
650 1 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aAlgorithms.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aNatural Language Processing (NLP).
700 1 _aCharlier, Émilie.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLeroy, Julien.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRigo, Michel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319628080
776 0 8 _iPrinted edition:
_z9783319628103
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10396
856 4 0 _uhttps://doi.org/10.1007/978-3-319-62809-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c186396
_d186396