ITAT is a traditional place of meeting for scientists and experts working in computer science from the Czech Republic and Slovakia. The emphasis is on exchange of ideas and information between the participants as well as on informal communication; a big space is devoted to discussions. The conference also offers a possibility for young researchers and students to present their work and to discuss it with more experienced colleagues. The conference languages are Slovak and Czech, proceedings papers are in English. ITAT is a broad scope conference that ranges from theoretical foundations of computer science, through security and cryptography, through software engineering to data processing, semantic web and to natural language processing. Each from the 31 submissions was refereed by at least two independent referees. The Proceedings consists of two invited lectures and five original scientific papers. The conference ITAT'11 was co-organized by the following institutions: We would like to thank the invited speakers Karel Oliva and Zdeněk Žabokrtský, the authors of presented papers, all PC members and reviewers for keeping high scientific level of ITAT as well as organizers led by Peter Gurský for organizing the 11th ITAT conference.
Partial support has to be acknowledged to the project NoSCoM: Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning, the Grant Agency of the Czech Republic, grant No. P202/10/1333.
Special thanks go to our sponsors Profinit (http://www.profinit.eu/) and CSKI (http://www.cski.cz/) Markéta Lopatková
We recommend the use of Adobe Reader version 9.0 to view this pdf-file.
Markéta Lopatková, (Chair), Charles University in Prague, Prague, CZ Radim Bača, Technical University VŠB, Ostrava, CZ David Bednárek, Charles University in Prague, Prague, CZ Mária Bieliková, Slovak University of Technology, Bratislava, SK Jiří Dokulil, Charles University in Prague, Prague, CZ Jana Dvořáková, Charles University in Prague, Prague, CZ Peter Gurský, University of P.J. Šafárik, Košice, SK Tomáš Holan, Charles University in Prague, Prague, CZ Martin Holeňa, Institute of Computer Science, AS CR, Prague, CZ Tomáš Horváth, University of P.J. Šafárik, Košice, SK Daniela Chudá, Institute of Informatics and Software Engineering, Bratislava, SK Jozef Jirásek, University of P.J. Šafárik, Košice, SK Jana Katreniaková, Comenius University, Bratislava, SK Rastislav Královič, Comenius University, Bratislava, SK Michal Krátký, Technical University VŠB, Ostrava, CZ Věra Kůrková, Institute of Computer Science, AS CR, Prague, CZ Roman Neruda, Institute of Computer Science, AS CR, Prague, CZ Dana Pardubská, Comenius University, Bratislava, SK Tomáš Plachetka, Comenius University, Bratislava, SK Martin Plátek, Charles University in Prague, Prague, CZ Jaroslav Pokorný, Charles University in Prague, Prague, CZ Karel Richta, Charles University in Prague, Prague, CZ Gabriel Semanišin, University of P.J. Šafárik, Košice, SK Václav Snášel, Technical University VŠB, Ostrava, CZ Vojtěch Svátek, University of Economics, Prague, CZ Roman Špánek, Institute of Computer Science, AS CR, Prague, CZ Július Štuller, Institute of Computer Science, AS CR, Prague, CZ Ondrej Šuch, Inštitút matematiky a informatiky, SAV, Banská Bystrica, SK Peter Vojtáš, Charles University in Prague, Prague, CZ Jakub Yaghob, Charles University in Prague, Prague, CZ Filip Zavoral, Charles University in Prague, Prague, CZ
Peter Gurský, (chair), University of P. J. Šafárik, Košice, SK Hanka Bílková, Institute of Computer Science, AS CR, Prague, CZ Tomáš Horváth , University of P. J. Šafárik, Košice, SK Róbert Novotný, University of P. J. Šafárik, Košice, SK Martin Šumák, University of P. J. Šafárik, Košice, SK Mária Palušáková, University of P. J. Šafárik, Košice, SK
Flip-pushdown automata: nondeterministic "-moves can be removed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 P. Ďuriš, M. Košta