Frank Drewes - Böcker
Visar alla böcker från författaren Frank Drewes. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 13911 - Lecture Notes in Computer Science
Developments in Language Theory
27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
Häftad, Engelska, 2023
718 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå, Sweden, during June 12–16, 2023.
Developments in Language Theory : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Engelska, 2023
631 kr
Skickas inom 5-8 vardagar
Del 9223 - Lecture Notes in Computer Science
Implementation and Application of Automata
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Häftad, Engelska, 2015
538 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.
Del 10168 - Lecture Notes in Computer Science
Language and Automata Theory and Applications
11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Häftad, Engelska, 2017
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions.
653 kr
Skickas inom 10-15 vardagar
This book introduces the reader to the grammatical theory of picture generation, focussing on issues that are of particular interest for computer scientists. Using picture generation as a vehicle, many of the general ideas of the theory of computation are exemplified by results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena.Many of the devices and results discussed in the book extend those known from the literature, or are original ones, including a novel approach to generating colored pictures.The software on the enclosed CD-ROM lets you try out all examples or even extend the system.
554 kr
Skickas inom 10-15 vardagar
This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules.The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the treatment influenced by the theory of computation, and the theory of formal languages in particular. It guides the reader through the basics of the tree-based approach on to dedicated chapters on line-drawing languages, collage grammars, iterated function systems, grid picture languages, languages of fractals, and languages of coloured collages, while presenting results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena.In support, the book contains detailed exercises throughout. The book is of interest to researchers and graduate studentsin computer science and mathematics who are engaged with the theory and practice of picture-generating systems.