|
Showing 1 - 4 of
4 matches in All Departments
|
Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Paperback, 2014 ed.)
Helmut Jurgensen, Juhani Karhumaki, Alexander Okhotin
|
R2,560
Discovery Miles 25 600
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th
International Conference on Descriptional Complexity of Formal
Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27
full papers presented were carefully reviewed and selected from 35
submissions. The conference dealt with the following topics:
Automata, grammars, languages and other formal systems; various
modes of operation and complexity measures; trade-offs between
computational models and modes of operation; succinctness of
description of objects, state explosion-like phenomena; circuit
complexity of Boolean functions and related measures;
resource-bounded or structure-bounded environments; frontiers
between decidability and undecidability; universality and
reversibility; structural complexity; formal systems for
applications (e.g., software reliability, software and hardware
testing, modeling of natural languages); nature-motivated
(bio-inspired) architectures and unconventional models of
computing; complexity aspects of combinatorics on words; Kolmogorov
complexity.
This volume contains the revised versions of papers presented at
the fourth international Workshop on Implementing Automata (WIA),
held 17-19 July, 1999, at Potsdam University, Germany. As for its
predecessors, the theme of WIA99 was the implementation of au- mata
and grammars of all types and their application in other ?elds. The
papers contributed to this volume address, among others,
algorithmic issues regarding automata, image and dictionarystorage
byautomata, and natural language p- cessing. In addition to the
papers presented in these proceedings, the workshop - cluded a
paper on quantum computing byC. Calude, E. Calude, and K. Svozil
(published elsewhere), an invited lecture byW. Thomas on
Algorithmic P- blems in the Theory of ?-Automata, a tutorial byM.
Silberztein on the INTEX linguistic development environment, and
several demonstrations of systems. The local arrangements for WIA99
were conducted byHelmut Jurgensen, Suna Aydin, Oliver Boldt,
Carsten Haustein, Beatrice Mix, and Lynda R- bins. The meeting was
held in the Communs building, now the main university building, of
the New Palace in the park of Sanssouci, Potsdam. The program
committee for WIA99 was: A. Bruggemann-Klein .. Technische
Universitat Munc .. hen J.-M. Champarnaud Universit'e de Rouen F.
Gun .. thner Universitat Munc .. hen H. Jurgensen .. Universitat
Potsdam and Universityof Western Ontario D. Maurel Universit'e de
Tours D. Raymond Gateway Group Inc. K. Salomaa Universityof Western
Ontario W. Thomas Rheinisch-Westfalische Technische Hochschule
Aachen B. Watson Ribbit Software Systems Inc.
|
Recent Developments in the Algebraic, Analytical, and Topological Theory of Semigroups - Proceedings of a Conference Held at Oberwolfach, Germany, May 24-30, 1981 (English, German, French, Paperback, 1983 ed.)
K. H. Hofmann, Helmut Jurgensen, H.J. Weinert
|
R1,830
Discovery Miles 18 300
|
Ships in 10 - 15 working days
|
|
|