4 research outputs found
Clearing Restarting Automata
RestartovacĂ automaty byly navrĹľeny jako model pro redukÄŤnĂ analĂ˝zu, která pĹ™edstavuje lingvisticky motivovanou metodu pro kontrolu korektnosti vÄ›ty. CĂlem práce je studovat omezenÄ›jšà modely restartovacĂch automatĹŻ, kterĂ© smĂ vymazat podĹ™etÄ›zec nebo jej nahradit speciálnĂm pomocnĂ˝m symbolem, jenom na základÄ› omezenĂ©ho lokálnĂho kontextu tohoto podĹ™etÄ›zce. Tyto restartovacĂ automaty se nazĂ˝vajĂ clearing restarting automata. V práci jsou taktĂ©Ĺľ zkoumány uzávÄ›rovĂ© vlastnosti tÄ›chto automatĹŻ, jejich vztah k Chomskeho hierarchii a moĹľnosti uÄŤenĂ tÄ›chto automatĹŻ na základÄ› pozitivnĂch a negativnĂch pĹ™ĂkladĹŻ.Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. The goal of the thesis is to study more restricted models of restarting automata which based on a limited context can either delete a substring of the current content of its tape or replace a substring by a special symbol, which cannot be overwritten anymore, but it can be deleted later. Such restarting automata are called clearing restarting automata. The thesis investigates the properties of clearing restarting automata, their relation to Chomsky hierarchy and possibilities for machine learning of such automata from positive and negative samples.Department of Software and Computer Science EducationKatedra softwaru a vĂ˝uky informatikyFaculty of Mathematics and PhysicsMatematicko-fyzikálnĂ fakult
26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband
Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jährliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverlässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enthält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstützung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilk
Prostredie pre reštartovacie automaty
Reštartovacie automaty sĂş lingvisticky motivovanĂ© modely automatov, ktorĂ© mĂ´Ĺľu byĹĄ pouĹľitĂ© naprĂklad na kontrolu správnosti viet. HlavnĂ˝m cieÄľom tejto práce je vytvoriĹĄ špecializovanĂ˝ program, ktorĂ˝ umoĹľnĂ jednoduchĂ˝ interaktĂvny návrh a testovanie tĂ˝chto automatov a poskytne špecializovanĂ© nástroje urÄŤenĂ© na uÄŤenie koneÄŤnĂ˝ch automatov a definovanie jazykov. Práca prezentuje teoretickĂ© základy a uvádza formálnu definĂciu reštartovacieho automatu. ÄŽalej sĂş v práci diskutovanĂ© moĹľnosti implementácie takĂ©hoto systĂ©mu a je popĂsaná skutoÄŤná realizácia systĂ©mu. K práci je priloĹľená uĹľĂvateÄľská prĂruÄŤka.Restarting automata are linguistically motivated models of automata that can be used e.g. in checking correctness of a sentence. The main subject of this work is to design a specialized program which allows an easy design and testing of these automata and provides specialized tools for learning finite automata and defining languages. The thesis presents theoretical background and gives formal definition of restarting automaton. Then the possibilities of implementation of such system are discussed and the actual implementation is described. The user guide is included in the thesis.Katedra softwaru a vĂ˝uky informatikyDepartment of Software and Computer Science EducationFaculty of Mathematics and PhysicsMatematicko-fyzikálnĂ fakult