Descriptional Complexity of Formal Systems

15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
September 16, 2024 | History

Descriptional Complexity of Formal Systems

15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions. The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures; size complexity and structural complexity of formal systems; trade-offs between computational models and mode of operation; applications of formal systems; for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages; and their complexity constraints; size or structural complexity of formal systems for modeling natural languages; complexity aspects related to the combinatorics of words; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related to descriptional complexity; frontiers between decidability and undecidability; universality and reversibility; nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov-Chaitin complexity, algorithmic information.

Publish Date
Publisher
Springer
Pages
299

Buy this book

Book Details


Edition Notes

Source title: Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Lecture Notes in Computer Science (8031))

Classifications

Library of Congress
QA76.9.F67 D3 2013, QA75.5-76.95

The Physical Object

Format
paperback
Number of pages
299

Edition Identifiers

Open Library
OL28013711M
ISBN 10
3642393098
ISBN 13
9783642393099
LCCN
2013941383

Work Identifiers

Work ID
OL20715998W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 16, 2024 Edited by MARC Bot import existing book
October 5, 2021 Edited by ImportBot import existing book
November 12, 2020 Edited by MARC Bot import existing book
May 7, 2020 Created by ImportBot Imported from amazon.com record