Author: Zoltán Ésik
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
Book Description
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
Recent Advances in Formal Languages and Applications
Author: Zoltán Ésik
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
Book Description
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
Book Description
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
New Developments in Formal Languages and Applications
Author: Gemma Bel-Enguix
Publisher: Springer
ISBN: 3540782915
Category : Technology & Engineering
Languages : en
Pages : 279
Book Description
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc. This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive bibliographical references to go deeper. Open problems are formulated too. The intended audience consists of undergraduates and graduates in computer science or mathematics. Graduates in other disciplines (linguistics, electrical engineering, molecular biology, logic) with some basic level of mathematical maturity may find the volume appealing and useful too. The book represents 'a gate to formal language theory and its applications' and a source of information in computation theory in general. This volume is complementary of the volumes in the Springer series Studies in Fuzziness and Soft Computing, number 148, and Studies in Computational Intelligence, 25.
Publisher: Springer
ISBN: 3540782915
Category : Technology & Engineering
Languages : en
Pages : 279
Book Description
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc. This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive bibliographical references to go deeper. Open problems are formulated too. The intended audience consists of undergraduates and graduates in computer science or mathematics. Graduates in other disciplines (linguistics, electrical engineering, molecular biology, logic) with some basic level of mathematical maturity may find the volume appealing and useful too. The book represents 'a gate to formal language theory and its applications' and a source of information in computation theory in general. This volume is complementary of the volumes in the Springer series Studies in Fuzziness and Soft Computing, number 148, and Studies in Computational Intelligence, 25.
Author:
Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Theory of Formal Languages with Applications
Author: Dan A. Simovici
Publisher: World Scientific
ISBN: 9789810237295
Category : Computers
Languages : en
Pages : 646
Book Description
Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc. This book combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications such as molecular and developmental biology. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed as a text for graduate and upper-level undergraduate students, the comprehensive coverage of the subject makes it suitable as a reference for scientists.
Publisher: World Scientific
ISBN: 9789810237295
Category : Computers
Languages : en
Pages : 646
Book Description
Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc. This book combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications such as molecular and developmental biology. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed as a text for graduate and upper-level undergraduate students, the comprehensive coverage of the subject makes it suitable as a reference for scientists.
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
Author: Mernik, Marjan
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678
Book Description
"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678
Book Description
"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--
Computing with New Resources
Author: Cristian S. Calude
Publisher: Springer
ISBN: 3319133500
Category : Computers
Languages : en
Pages : 486
Book Description
Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers of parallel (systolic) automata. His other main research interests include parallel systems and automata, as well as quantum information processing, transmission, and cryptography. He is co-founder of four regular series of conferences in informatics and two in quantum information processing and the Founding Chair (1989-96) of the IFIP Specialist Group on Foundations of Computer Science.
Publisher: Springer
ISBN: 3319133500
Category : Computers
Languages : en
Pages : 486
Book Description
Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers of parallel (systolic) automata. His other main research interests include parallel systems and automata, as well as quantum information processing, transmission, and cryptography. He is co-founder of four regular series of conferences in informatics and two in quantum information processing and the Founding Chair (1989-96) of the IFIP Specialist Group on Foundations of Computer Science.
Biomolecular Information Processing
Author: Evgeny Katz
Publisher: John Wiley & Sons
ISBN: 3527645497
Category : Science
Languages : en
Pages : 390
Book Description
Edited by a renowned and much cited chemist, this book covers the whole span of molecular computers that are based on biomolecules. The contributions by all the major scientists in the field provide an excellent overview of the latest developments in this rapidly expanding area. A must-have for all researchers working on this very hot topic. Perfectly complements Molecular and Supramolecular Information Processing, also by Prof. Katz, and available as a two-volume set.
Publisher: John Wiley & Sons
ISBN: 3527645497
Category : Science
Languages : en
Pages : 390
Book Description
Edited by a renowned and much cited chemist, this book covers the whole span of molecular computers that are based on biomolecules. The contributions by all the major scientists in the field provide an excellent overview of the latest developments in this rapidly expanding area. A must-have for all researchers working on this very hot topic. Perfectly complements Molecular and Supramolecular Information Processing, also by Prof. Katz, and available as a two-volume set.
SOFSEM 2020: Theory and Practice of Computer Science
Author: Alexander Chatzigeorgiou
Publisher: Springer Nature
ISBN: 3030389197
Category : Mathematics
Languages : en
Pages : 725
Book Description
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.
Publisher: Springer Nature
ISBN: 3030389197
Category : Mathematics
Languages : en
Pages : 725
Book Description
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.
Implementation and Application of Automata
Author: Yo-Sub Han
Publisher: Springer
ISBN: 3319409468
Category : Computers
Languages : en
Pages : 348
Book Description
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis.
Publisher: Springer
ISBN: 3319409468
Category : Computers
Languages : en
Pages : 348
Book Description
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis.
The Oxford Handbook of Computational Linguistics
Author: Ruslan Mitkov
Publisher: Oxford University Press
ISBN: 019162554X
Category : Language Arts & Disciplines
Languages : en
Pages : 1377
Book Description
Ruslan Mitkov's highly successful Oxford Handbook of Computational Linguistics has been substantially revised and expanded in this second edition. Alongside updated accounts of the topics covered in the first edition, it includes 17 new chapters on subjects such as semantic role-labelling, text-to-speech synthesis, translation technology, opinion mining and sentiment analysis, and the application of Natural Language Processing in educational and biomedical contexts, among many others. The volume is divided into four parts that examine, respectively: the linguistic fundamentals of computational linguistics; the methods and resources used, such as statistical modelling, machine learning, and corpus annotation; key language processing tasks including text segmentation, anaphora resolution, and speech recognition; and the major applications of Natural Language Processing, from machine translation to author profiling. The book will be an essential reference for researchers and students in computational linguistics and Natural Language Processing, as well as those working in related industries.
Publisher: Oxford University Press
ISBN: 019162554X
Category : Language Arts & Disciplines
Languages : en
Pages : 1377
Book Description
Ruslan Mitkov's highly successful Oxford Handbook of Computational Linguistics has been substantially revised and expanded in this second edition. Alongside updated accounts of the topics covered in the first edition, it includes 17 new chapters on subjects such as semantic role-labelling, text-to-speech synthesis, translation technology, opinion mining and sentiment analysis, and the application of Natural Language Processing in educational and biomedical contexts, among many others. The volume is divided into four parts that examine, respectively: the linguistic fundamentals of computational linguistics; the methods and resources used, such as statistical modelling, machine learning, and corpus annotation; key language processing tasks including text segmentation, anaphora resolution, and speech recognition; and the major applications of Natural Language Processing, from machine translation to author profiling. The book will be an essential reference for researchers and students in computational linguistics and Natural Language Processing, as well as those working in related industries.