<電子ブック>
Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977 / edited by Marek Karpinski
(Lecture Notes in Computer Science. ISSN:16113349 ; 56)
版 | 1st ed. 1977. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1977 |
本文言語 | 英語 |
大きさ | XIV, 546 p : online resource |
著者標目 | Karpinski, Marek editor SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Computer science FREE:Mathematical Logic and Foundations FREE:Computer Science |
一般注記 | 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 grammars and graph L-systems -- On the theory of syntactic monoids for rational languages -- The equivalence of schemata with some feedbacks -- Disjunctive languages and codes -- Families of R-fuzzy Languages -- Algebras of partial sequences — A tool to deal with concurrency -- Remarks on fixed points of functors -- Recognizable and regular languages in a category -- Free dynamics and algebraic semantics -- Efficient state-splitting -- Nets over many sorted operator domains and their semantics -- Embedding theorems in the algebraic theory of graph grammars -- Some "geometrical" categories associated with flowchart schemes -- On partial recursive definitions and programs -- Transformations of derivation sequences in graph grammars -- Applicability of a production in a categorical grammar -- On order-complete universal algebra and enriched functorial semantics -- Functorial semantics of the type free ?-?? calculus -- A more categorical model of universal algebra -- Graph grammars -- Fixed-points and algebras with infinitely long expressions, II -- Relational automata in a category and their languages -- Generalized linton algebras -- On analysis of protoschemes -- Using determinancy of games to eliminate quantifiers -- Non-generable RE sets -- Polynomial time algorithms in the theory of linear diophantine equations -- Complexity of common subsequence problems -- Complexity of sequence encodings -- Network complexity -- On computability of Kolmogorov complexity -- The equivalences problems for binary EOL-Systems are decidable -- On a theory of inductive inference -- On finite and infinite computations -- Expected behavior of graph coloring algorithms -- Two NP-complete problems related to information retrieval -- On properties of certain synchronizing tool for parallel computations -- The parallel complexity of arithmetic computation -- Maximal rectangular relations -- A Dushnik - Miller type dimension of graphs and its complexity -- Programmability and P=NP conjecture -- An algorithmic approach to set theory -- Decidability of ? — Trees with bounded sets — A survey -- Empty - storage - acceptance of ? - languages -- Degrees of circuit complexity -- Recursive ?-languages -- A generalized computability thesis HTTP:URL=https://doi.org/10.1007/3-540-08442-8 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540370840 |
|
電子リソース |
|
EB00224791 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4001088600 |
ISBN | 9783540370840 |