Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977. 1st ed. 1977

種類:

電子ブック

責任表示:

edited by Marek Karpinski

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977

著者名:

• Karpinski, Marek.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 56

ISBN:

9783540370840 [3540370846]    

注記:

Methodology of proving a finite-state stochastic representability and nonrepresentability -- Non deterministic recursive program schemes -- Some remarks on relational composition in computational theory and practice -- An axiomatization of the rational data objects -- Some recent results on recognizable formal power series -- Canonical forms of context-free grammars and position restricted grammar forms -- Environments, labyrinths and automata -- Automata in labyrinths -- Stochastic algebras and stochastic automata over general measurable spaces: Algebraic theory and a decomposition theorem -- Some remarks on the algebra of automaton mappings -- Algebraic semantics of type definitions and structured variables -- Universal algebras and tree automata -- Vectors of coroutines over blikle nets -- Initial algebraic semantics for non context-free languages -- Reading functions and an extension of Kleene theorem for some families of languages -- Operations on ?-regular languages -- On the relation between graph gram

ローカル注記:

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