Fundamentals of Computation Theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Zoltan Esik

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Esik, Zoltan.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 710

ISBN:

9783540479239 [3540479236]    

注記:

Rewriting, möbius functions and semi-commutations -- Simulations between different models of parallel computers -- Dense and disjunctive properties of languages -- The hierarchy of codes -- Five facets of hyperedge replacement beyond context-freeness -- An action structure for synchronous ?-calculus -- AC0 circuit complexity -- Pattern languages: Problems of decidability and generation -- General solution of mirror equation -- Decidability of equivalence for linear letter to letter top-down tree transducers -- Translations between flowchart schemes and process graphs -- Local equational logic -- Liveness of weighted circuits and the diophantine problem of Frobenius -- Context-free graph grammars: Separating vertex replacement from hyperedge replacement -- Formal languages consisting of primitive words -- Undecidability of the surjectivity problem for 2D cellular automata: A simplified proof -- Efficient interpretation of state charts -- Implementation of a universal unification algorithm for macro tree transd
This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Computational geometry, algorithmic aspects of algebra and algebraic geometry, cryptography - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts) - Algorithms (efficient, probabilistic, parallel, sequential, distributed) - Counting and combinatorics in connection with mathematical computer science The volume contains the texts of 8 invitedlectures and 32 short communications selected by the international program committee from a large number of submitted papers.

ローカル注記:

学内専用E-BOOKS (local access only)