|
|
|
|
LEADER |
04714nmm a2200421 u 4500 |
001 |
EB000721398 |
003 |
EBX01000000000000000574480 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9789401596343
|
100 |
1 |
|
|a Martín-Vide, Carlos
|e [editor]
|
245 |
0 |
0 |
|a Where Mathematics, Computer Science, Linguistics and Biology Meet
|h Elektronische Ressource
|b Essays in honour of Gheorghe Păun
|c edited by Carlos Martín-Vide, V. Mitrana
|
250 |
|
|
|a 1st ed. 2001
|
260 |
|
|
|a Dordrecht
|b Springer Netherlands
|c 2001, 2001
|
300 |
|
|
|a XVI, 446 p
|b online resource
|
505 |
0 |
|
|a 31 Writing By Methylation Proposed For Aqueous Computing -- 32 Context-Free Recombinations -- 33 Simplified Simple H Systems -- 34 On Some Forms of Splicing -- 35 Time-Varying Distributed H-Systems of Degree 2 Generate All Recursively Enumerable Languages -- 36 On Membrane Computing Based on Splicing -- 37 Is Evolutionary Computation Using DNA Strands Feasible? -- 38 Splicing Systems Using Merge and Separate Operations
|
505 |
0 |
|
|a 15 An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy -- 16 Trellis Languages -- 17 Pictures, Layers, Double Stranded Molecules: On Multi-Dimensional Sentences -- 18 Transduction in Polypodes -- 19 Some Algebraic Properties of Contexts and Their Applications to Contextual Languages -- 20 On Fatou Properties of Rational Languages -- 21 Multiple Keyword Patterns in Context-Free Languages -- 22 Reading Words in Graphs Generated by Hyperedge Replacement -- 23 Regularly Controlled Formal Power Series -- 24 Forbidden Subsequences and Permutations Sortable on Two Parallel Stacks -- 25 Approximate Identification and Finite Elasticity -- 26 Insertion of Languages and Differential Semirings -- IV Models of Molecular Computing -- 27 Molecular Structures -- 28 A Characterization of Non-Iterated Splicing with Regular Rules -- 29 Universaland Simple Operations for Gene Assembly in Ciliates -- 30 Semi-Simple Splicing Systems --
|
505 |
0 |
|
|a 1 The Games of His Life -- I Grammars and Grammar Systems -- 2 Deterministic Stream X-Machines Based on Grammar Systems -- 3 Some Ghosts that Arise in a Spliced Linguistic String: Evidence from Catalan -- 4 On Size Complexity of Context-Free Returning Parallel Communicating Grammar Systems -- 5 Subregularly Controlled Derivations: Restrictions by Syntactic Parameters -- 6 Neo-Modularity and Colonies -- 7 Sewing Contexts and Mildly Context-Sensitive Languages -- 8 Towards Grammars of Decision Algorithms -- II Automata -- 9 Computational Complementarity for Probabilistic Automata -- 10 Acceptance of ?-Languages by Communicating Deterministic Turing Machines -- 11 Counter Machines and the Safety and Disjointness Problems for Database Queries with Linear Constraints -- 12 Automata Arrays and Context-Free Languages -- 13 On Special Forms of Restarting Automata -- 14 The Time Dimension of Computation Models -- III Languages and Combinatorics --
|
653 |
|
|
|a Mathematics of Computing
|
653 |
|
|
|a Computational Linguistics
|
653 |
|
|
|a Computer science / Mathematics
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Artificial Intelligence
|
653 |
|
|
|a Computational linguistics
|
653 |
|
|
|a Artificial intelligence
|
653 |
|
|
|a Discrete Mathematics
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Mathematical Logic and Foundations
|
653 |
|
|
|a History of Science
|
653 |
|
|
|a Science / History
|
700 |
1 |
|
|a Mitrana, V.
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
028 |
5 |
0 |
|a 10.1007/978-94-015-9634-3
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-94-015-9634-3?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.3
|
520 |
|
|
|a In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out
|