====== LANGUAGE THEORY with APPLICATIONS 2017 (LTA 2017) ====== LTA 2017 is 7th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta17_logo_web.png?400&nolink|Language Theory with Applications 2017 (Logo)}} * **Subject:** Formal language theory and its applications in computer science * **Place:** [[http://www.fit.vutbr.cz/FIT/.en|FIT BUT]], Brno, Czech Republic * **Date:** November 22, November 27, and December 4 - 14, 2017 * **Organizers:** - the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and [[http://www.fit.vutbr.cz/study/courses/VYPa/index.php.en|VYPa]] teaching teams; - [[http://www.fit.vutbr.cz/research/groups/fm/index.php.en|Formal Model Research Group]], FIT BUT; - [[http://www.fit.vutbr.cz/units/UIFS/index.php.en|Department of Information Systems]], FIT BUT. * **Committee:** * [[http://www.fit.vutbr.cz/~meduna|Alexander Meduna]] (chair) * [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * [[http://www.fit.vutbr.cz/~ikocman|Radim Kocman]] * [[http://www.fit.vutbr.cz/~imartisko|Jakub Martiško]] * [[http://www.fit.vutbr.cz/~icharvatl|Lucie Charvát]] * **Conference language:** English * **Coverage:** * LTA 2017 offers a variety of scientific talks on formal language theory and its computer-related applications at MSc and PhD levels. A special attention is paid to modern applications related to the language translation. Most of the talks results from the students' work in the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and [[http://www.fit.vutbr.cz/study/courses/VYPa/index.php.en|VYPa]] classes taught at FIT BUT. * **Style:** * Talks are presented so they clearly and quickly explain their significance to today's computer science. As a result, in some instances, results and their proofs may be merely outlined in an informal way. LTA does not tolerate presentations that hide their shallow contents behind exotic pictures. * **Purpose:** The purpose of this event is three-fold: - demonstrating the TID and VYPa student work in public; - giving students the opportunity of presenting scientific talks in English; - improving a communication between students and teachers interested in the subject of the conference. * **Audience**: Everybody is welcome to attend this event without any prior notice. There is no payment. * **Questions**: Contact [[krivka@fit.vutbr.cz|Zbyněk Křivka]] * **Acknowledgement**: This conference is partially supported by TAČR grant [[http://www.v3c.cz/|Visual Computing Competence Center (V3C), TE01020415]]. ===== Opening Talks: Watson-Crick Automata ===== ==== Linear context-free languages and Watson-Crick automata ==== * **Speaker**: [[http://brahms.emu.edu.tr/benedeknagy/|dr. Benedek Nagy]], Eastern Mediterranean University, North Cyprus (Turkey) * **Title**: Linear context-free languages and Watson-Crick automata * **Abstract**: Watson-Crick automata are inspired from the Nature, as instead of a normal tape, a Watson-Crick tape, i.e., a DNA molecule is considered as input. A DNA molecule has two strands, subsequently Watson-Crick automata have two reading heads, one for each strand. DNA strands have orientation, the 5'->3' direction is preferred in some biochemical reactions. In 5'->3' Watson-Crick automata the two reading heads start from the two extremes of the input (the opposite ends of the molecule) and finish the process when the heads meet. With 5'->3' Watson-Crick finite automata the class of linear context-free languages can be accepted, and some of its subclasses by some restricted variants. Deterministic variant characterizes a proper subset of linear languages, the class 2detLIN. This class is incomparable with the traditional detLIN, the class of languages that can be accepted by deterministic 1-turn PDA. * **Presentation**: For students of FIT, there is a [[https://video1.fit.vutbr.cz/av/records.php?id=46885&categ_id=1435|videorecording available]] (or [[https://video1.fit.vutbr.cz/av/records.php?id=46886&categ_id=1435|just screen]]) * **Level**: Bc/MSc * **Date:** November 22, 2017, 13:00 - 13:50 * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E112|E112]] ==== On 5' -> 3' Watson-Crick finite and pushdown automata ==== * **Speaker**: [[http://brahms.emu.edu.tr/benedeknagy/|dr. Benedek Nagy]], Eastern Mediterranean University, North Cyprus (Turkey) * **Title**: On 5' -> 3' Watson-Crick finite and pushdown automata * **Abstract**: Watson-Crick automata are inspired from the Nature, as instead of a normal tape, a Watson-Crick tape, i.e., a DNA molecule is considered as input. A DNA molecule has two strands, subsequently Watson-Crick automata have two reading heads, one for each strand. DNA strands have orientation, the 5'->3' direction is preferred in some biochemical reactions. In 5'->3' Watson-Crick automata the two reading heads start from the two extremes of the input (the opposite ends of the molecule) and finish the process when the heads meet. With 5'->3' Watson-Crick finite automata the class of linear context-free languages can be accepted, and some of its subclasses by some restricted variants. Extending these automata with a pushdown stack, a new mildly context-sensitive family of languages can be accepted containing all the context-free languages, and the linguistically important three non-context-free languages. Variants of this model will also be shown. * **Presentation**: NA (in progress) * **Level**: PhD * **Date:** November 22, 2017, 14:00 - 15:00 * **Chair:** [[http://www.fit.vutbr.cz/~krivka/|Zbyněk Křivka]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] ==== English: American Pronunciation (in Czech) ==== * **Speaker**: [[meduna@fit.vutbr.cz|Alexander Meduna]], FIT VUT, Brno * **Title**: English: American Pronunciation (in Czech: O výslovnosti americké angličtiny) * **Note**: Repeated performance/Pro velký zájem je přednáška [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar#section2017|opakována]]. * **Abstract (in Czech)**: Výslovnost americké angličtiny obsahuje některé zvuky, které Čech imituje chybně. Učitelé, včetně rodilých mluvčích, tyto odchylky zpravidla tolerují a spokojí se s touto nesprávně provedenou imitací, pokud je alespoň trochu srozumitelná. Prezentovaná přednáška naopak na tyto zvuky explicitně upozorní a načrtne, jak je vysloví Američan. Prezentace bude mít neformální charakter. * **Date**: November 27, 2017, 11:00 - 12:00 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Materials**: {{ :lectures:lta:2017-11-27_american_pronunciation.pdf |Slides (PDF)}}, [[https://video1.fit.vutbr.cz/index.php?record_id=46937|public audio-video recording (MP4, 298 MB)]] ===== Culture Talk: Chuck Berry (in Czech) ===== * **Speaker**: [[janousek@fit.vutbr.cz|dr. Vladimír Janoušek]], FIT VUT v Brně * **Abstract**: Tématem přednášky bude [[https://cs.wikipedia.org/wiki/Chuck_Berry|Chuck Berry]] s důrazem na brilantní texty jeho písní. V prezentaci zazní jeho hudba a budou zmíněny i související okolnosti, které se váží ke kořenům a podstatě rock'n'rollu, jehož je Chuck Berry ikonickou postavou. * **Date:** November 27, 2017, 12:00 - 13:00 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] ===== Culture Event: Poetry Reading (in Czech) ===== * **Title**: Cestou Václava Hraběte * **Date:** December 5, 2017, 19:00 * **Place:** [[http://vinarium-brno.cz/male-divadlo-vina/|Malé divadlo vína]], #vinarium, Starobrněnská 13, Brno * **Reciter**: Alexander Meduna * guitar accompaniment: Miloš Kalina (guitar and original songs) * [[http://www.fit.vutbr.cz/~meduna/work/lib/exe/fetch.php?media=:art:hrabe_2017-12-05_pozvanka.png|Czech invitation]], [[https://www.facebook.com/events/292691504561745/|Facebook event webpage]] ===== Conference Schedule ===== The list of talks in VYPa and TID courses follows. ==== SESSION 1: Compiler Construction I (Monday, December 4, 2017, 11:00-13:00, G202) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * **Talks**: Parsing Techniques * [[xgabon00@stud.fit.vutbr.cz|Gabonay Michal]], [[xkocou08@stud.fit.vutbr.cz|Kocour Martin]]: Parsing Mixfix Operators ({{ :lectures:lta:2017_abstracts:vypa_abstract_xgabon00_xkocou08.pdf |Abstract}}) * [[xchalk00@stud.fit.vutbr.cz|Chalk Matěj]], [[xpilat05@stud.fit.vutbr.cz|Pilátová Kateřina]]: Precedence Climbing ({{ :lectures:lta:2017_abstracts:vypa_abstract_xchalk00_xpilat05.pdf |Abstract}}) * [[xhrstk02@stud.fit.vutbr.cz|Hrstka Jan]], [[xrisam00@stud.fit.vutbr.cz|Riša Martin]]: Left-Corner Parsing ({{ :lectures:lta:2017_abstracts:vypa_abstract_xhrstk02_xrisam00.pdf |Abstract}}) * [[xgarci08@stud.fit.vutbr.cz|Garcia Alvarez Moises]]: Tabular Parsing ({{ :lectures:lta:2017_abstracts:vypa_abstract_xgarci08.pdf |Abstract}}) * [[xcerny62@stud.fit.vutbr.cz|Černý Jan]], [[xkadlc07@stud.fit.vutbr.cz|Kadlčíková Hana]]: LL(*) Parsing ({{ :lectures:lta:2017_abstracts:vypa_abstract_xcerny62_xkadlc07.pdf |Abstract}}) * [[xkozus00@stud.fit.vutbr.cz|Kožušník Adam]], [[xweiss08@stud.fit.vutbr.cz|Weisser Filip]]: (LL) Scattered Context Grammars ({{ :lectures:lta:2017_abstracts:vypa_abstract_xkozus00_xweiss08.pdf |Abstract}}) * [[xvitra00@stud.fit.vutbr.cz|Vít Radek]], [[xzenca00@stud.fit.vutbr.cz|Ženčák Tomáš]]: Generating LL Translation Grammars for Arithmetic Expressions ({{ :lectures:lta:2017_abstracts:vypa_abstract_xvitra00_xzenca00.pdf |Abstract}}) * [[xhosta04@stud.fit.vutbr.cz|Hošták Viliam Samuel]], [[xturce00@stud.fit.vutbr.cz|Turcel Matej]]: Controlled Pure Grammar Systems ({{ :lectures:lta:2017_abstracts:vypa_abstract_xhosta04_xturce00.pdf |Abstract}}) ==== SESSION 2: Modern Theoretical Computer Science I (Thursday, December 7, 2017, 11:00-13:00, C228) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A113|A113]] * **Chair**: [[http://www.fit.vutbr.cz/~ikocman/|Radim Kocman]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: **Invited short talk, 11:00-11:30**: * [[imartisko@fit.vutbr.cz|Jakub Martiško]]: CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages * **Abstract**: The L(PSCG)=L(CS) problem asks whether propagating scattered context grammars and context sensitive grammars are equivalent. The presented paper reformulates and answers this problem in terms of CD grammar systems. More specifically, it characterizes the family of context sensitive languages by two-component CD grammar systems with propagating scattered context rules. **Regular talks, 11:30 - 12:45**: * [[xkadlu01@stud.fit.vutbr.cz|Kristian Kadlubiak]]: Automated GPU Kernel Transformation as an Optimization Problem ({{ :lectures:lta:2017_abstracts:tid_abstrakt_kadlubiak.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_kadlubiak.pdf |Slides}}) * [[ibordovsky@fit.vutbr.cz|Gabriel Bordovský]]: Optimal dataset transformations for ultrasound simulation ({{ :lectures:lta:2017_abstracts:tid_abstract_bordovsky.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_ibordovsky.pdf |Slides}}) * [[iocenas@fit.vutbr.cz|Martin Očenáš]]: Security analysis of PEAP protocol using NuSMV tool ({{ :lectures:lta:2017_abstracts:tid_abstract_ocenas.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_iocenas.pdf |Slides}}) ==== SESSION 3: Compiler Construction II (Monday, December 11, 2017, 11:00-13:00, G202) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * **Talks**: Formalisms, Paradigms, and Code generation * [[xcahap00@stud.fit.vutbr.cz|Caha Petr]], [[xcerno19@stud.fit.vutbr.cz|Černošek Bedřich]]: Alternative Finite Automata Minimization ({{ :lectures:lta:2017_abstracts:vypa_abstract_xcahap00_xcerno19.pdf |Abstract}}) * [[xbenic03@stud.fit.vutbr.cz|Beníčková Zuzana]], [[xregec00@stud.fit.vutbr.cz|Regéciová Dominika]]: Extended Versions of Regular Expressions ({{ :lectures:lta:2017_abstracts:vypa_abstract_xbenic03_xregec00.pdf |Abstract}}) * [[xklima22@stud.fit.vutbr.cz|Klimaj Daniel]], [[xpokor62@stud.fit.vutbr.cz|Pokorný Filip]]: Simple Code Generation ({{ :lectures:lta:2017_abstracts:vypa_abstract_xklima22_xpokor62.pdf |Abstract}}) * [[xrozko06@stud.fit.vutbr.cz|Rozkopál Kamil]], [[xsvobo0s@stud.fit.vutbr.cz|Svoboda Jan]]: Object-Orientation - Multiple Inheritance ({{ :lectures:lta:2017_abstracts:vypa_abstract_xrozko06_xsvobo0s.pdf |Abstract}}) * [[xbajan01@stud.fit.vutbr.cz|Bajaník Filip]], [[xharis00@stud.fit.vutbr.cz|Haris Daniel]]: Exception Handling Implementation ({{ :lectures:lta:2017_abstracts:vypa_abstract_xbajan01_xharis00.pdf |Abstract}}) * [[xholcm04@stud.fit.vutbr.cz|Holcman Jaroslav]], [[xkubis13@stud.fit.vutbr.cz|Kubiš Jan]]: JIT Compilation in V8 JS Engine ({{ :lectures:lta:2017_abstracts:vypa_abstract_xkubis13_xholcm04.pdf |Abstract}}) * [[xjosef00@stud.fit.vutbr.cz|Josefík Martin]], [[xmalik14@stud.fit.vutbr.cz|Malík Pavol]]: Closures and High-order Functions ({{ :lectures:lta:2017_abstracts:vypa_abstract_xjosef00_xmalik14.pdf |Abstract}}) ==== SESSION 4: Modern Theoretical Computer Science II (Thursday, December 14, 2017, 11:00-13:00, A113) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A113|A113]] * **Chair**: [[http://www.fit.vutbr.cz/~imartisko/|Jakub Martiško]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: **Invited short talk, 11:00-11:30**: * [[ikocman@fit.vutbr.cz|Radim Kocman]]: General CD Grammar Systems and Their Simplification * **Abstract**: This talk introduces general CD grammar systems, whose components are general grammars, so they are computationally complete---that is, they characterize the family of recursively enumerable languages. We investigate them working under the * mode and the t mode. Most importantly, we will present two transformations that turn arbitrary general grammars into equivalent two-component general CD grammar systems with a context-free component and a non-context-free component. From one transformation, the non-context-free component results with two rules of the form 11 -> 00 and 0000 -> 2222, while the other transformation produces the non-context-free component with two rules of the form 11 -> 00 and 0000 -> eps. Apart from this significant reduction and simplification, our research describes several other useful properties concerning these systems and the way they work. We will show that the resulting systems can closely simulate their original grammar and that their sentence generation process can be handled in a parallel way. * **Presentation**: {{ :lectures:lta:2017-12-14_kocman_gcdgs.pdf |Slides (PDF)}} **Regular talks, 11:30 - 12:45**: * [[xmilko01@stud.fit.vutbr.cz|Marek Milkovič]]: Extraction of features from binary files and creation of detection patterns ({{ :lectures:lta:2017_abstracts:tid_abstrakt_milkovic.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_xmilko01.pdf |Slides}}) * [[icharvatl@fit.vutbr.cz|Lucie Charvát]]: Acceptance Power of Unlimitedly Deep Pushdown Automata ({{ :lectures:lta:2017_abstracts:tid_abstract_charvat.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_icharvatl.pdf |Slides}}) * [[xmazur06@stud.fit.vutbr.cz|František​ ​Mazura]]: Formal​ ​verification​ and its application in​ the security​ ​of​ information​ systems ({{ :lectures:lta:2017_abstracts:tid_abstract_mazura.pdf |Abstract}}, {{ :lectures:lta:2017_abstracts:tid_presentation_mazura.pdf |Slides}}) ===== Future Volumes of LTA ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta19|LTA 2019]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta18|LTA 2018]] ===== Conference history ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta16|LTA 2016]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta15|LTA 2015]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta14|LTA 2014]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta13|LTA 2013]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta12|LTA 2012]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta11|LTA 2011]]