This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in AnpindlerAmv MlA½n, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.To the left of the diagram one writes the state symbol and an index of the position of the tape head, which index also ... Later he introduces the single tape version as a atechnical useful modela, and for encoding configurations of the latter model anbsp;...
|Title||:||SOFSEM 2012: Theory and Practice of Computer Science|
|Author||:||Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán|
|Publisher||:||Springer Science & Business Media - 2012-01-09|