Original title: Převodníky v automatové knihovně Mata
Translated title: Transducers in Automata Library Mata
Authors: Chocholatý, David ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
Document type: Master’s theses
Year: 2024
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: aplikace; cross-site scripting; efektivita; jednoduchost; kompozice; konečné automaty; konečné převodníky; nedeterminismus; operace nahrazení; prohlížečové transdukce; projekce; SMT; verifikace; vložení kódu; řetězcová omezení; řešení řetězcových problémů; application; browser transductions; code injection; composition; cross-site scripting; efficiency; finite automata; finite transducers; nondeterminism; projection; replace operations; simplicity; SMT; string constraints; string solving; verification

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: https://hdl.handle.net/11012/249002

Permalink: http://www.nusl.cz/ntk/nusl-619356


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2024-06-22, last modified 2024-06-30


No fulltext
  • Export as DC, NUŠL, RIS
  • Share