05275nam 22005295 450 99646528450331620200701194214.03-540-37084-610.1007/3-540-08442-8(CKB)1000000000229859(SSID)ssj0000323387(PQKBManifestationID)11242990(PQKBTitleCode)TC0000323387(PQKBWorkID)10299825(PQKB)10814938(DE-He213)978-3-540-37084-0(PPN)155179144(EXLCZ)99100000000022985920121227d1977 u| 0engurnn|008mamaatxtccrFundamentals of Computation Theory[electronic resource] Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977 /edited by Marek Karpinski1st ed. 1977.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1977.1 online resource (XIV, 546 p.) Lecture Notes in Computer Science,0302-9743 ;56Bibliographic Level Mode of Issuance: Monograph3-540-08442-8 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.Lecture Notes in Computer Science,0302-9743 ;56Mathematical logicComputer scienceMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Mathematical logic.Computer science.Mathematical Logic and Foundations.Computer Science, general.511.3Karpinski Marekedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465284503316Fundamentals of computation theory382778UNISA