Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
by
 
Konstantinidis, Stavros. editor.

Title
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Author
Konstantinidis, Stavros. editor.

ISBN
9783319946313

Physical Description
XIV, 251 p. 35 illus. online resource.

Series
Theoretical Computer Science and General Issues ; 10952

Contents
Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory.

Abstract
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. .

Subject Term
Logic design.
 
Natural language processing (Computer science).
 
Computational complexity.
 
Data structures (Computer scienc.
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
 
Natural Language Processing (NLP). http://scigraph.springernature.com/things/product-market-codes/I21040
 
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market-codes/I17028
 
Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017

Added Author
Konstantinidis, Stavros.
 
Pighizzini, Giovanni.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
https://doi.org/10.1007/978-3-319-94631-3


LibraryMaterial TypeItem BarcodeShelf NumberStatus
IYTE LibraryE-Book2086194-1001QA76.9 .L63Online Springer