Výsledky vyhledávání - "Reguläre Sprache"

Formalizing Symbolic Decision Procedures for Regular Languages

Autor: Traytel, Dmytro

We study decision procedures for the equivalence of regular languages represented as regular expressions or logical formulas. Traditional algorithms in this context dispose of this symbolic representation by translating it into finite automata, which

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______518::67c3d8624e44524d109e511313d71ad2
https://mediatum.ub.tum.de/1273011

Zobrazit plný text záznamu

Laufzeitanalyse und Optimierung von Parsern für LR-reguläre Grammatiken

Autor: Konitzer, Marius

Gegenstand der vorliegenden Arbeit ist die Laufzeitanalyse und Optimierung von Parsern für LR-reguläre Grammatiken. Die Arbeit gliedert sich in zwei Teile. Im ersten Teil werden LR-basierte Parseverfahren mit regulärem Lookahead untersucht. Mit Hi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::66c09ae09fc1ed1a5ed8668bab2132d0
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/files/3391/diss.pdf

Zobrazit plný text záznamu

Languages and strategies : a study of regular infinite games

Autor: Olschewski, Jörg

Publikováno v: Aachen : Publikationsserver der RWTH Aachen University VI, 117 S. : graph. Darst. (2013). = Aachen, Techn. Hochsch., Diss., 2013

The theory of two-player infinite games provides a framework for studying the controller synthesis problem in reactive system. This problem was solved for regular winning conditions for the first time by the fundamental Büchi-Landweber Theorem. The

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______791::e116035d5befb24cb7a3cc793e71748d
https://publications.rwth-aachen.de/record/229420

Zobrazit plný text záznamu

Platz- und Zeitkomplexität von Entscheidungsproblemen im Zusammenhang mit der Kommunikationskomplexität regulärer Sprachen

Autor: Brandl, Christian Michael

Publikováno v: Ruhr-Universität Bochum

Im Mittelpunkt der Betrachtung steht die Frage, wie "schwierig" es ist, die Kommunikationskomplexität einer regulären Sprache zu bestimmen. Reguläre Sprachen sind ein grundlegender Baustein der Chomsky-Hierarchie und von großer Bedeutung in der P

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cc852a34f8384bc555386ba5d77d53e1
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/frontdoor/index/index/docId/2425

Zobrazit plný text záznamu

On the descriptional and algorithmic complexity of regular languages

Autor: Gruber, Hermann

Zugl.: Giessen, Univ., Diss., 2009

Externí odkaz: http://d-nb.info/998400602/04

Zobrazit plný text záznamu

Fragments of first-order logic over infinite words

Autor: Manfred Kufleitner, Volker Diekert

Publikováno v: Scopus-Elsevier

We give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic FO[
Comment: Conference version presented at 26th International Symposium on Theoretical Aspects of C

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a88458892ab836b5a001ba6b9584c190

Zobrazit plný text záznamu

Analytische und experimentelle Untersuchungen zur Fehlerkorrektur an XML-Grammatiken und -Dokumenten

Autor: Reinert, Daniel (Dipl.)

In dieser Arbeit wird untersucht, wie eine Fehlerkorrektur in XML-Dokumenten vorgenommen werden kann, wenn sowohl Änderungen an der XML-Grammatik, als auch am XML-Datenbaum zulässig sind. Die Fehlerkorrektur wird dabei so durchgeführt, dass die Ä

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bce7c4a215c315dfba0cb4214ea54ffb
http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-22405

Zobrazit plný text záznamu

Dissertation/ Thesis

Forbidden-Patterns and Word Extensions for Concatenation Hierarchies

Autor: Glaßer, Christian

Starfree regular languages can be build up from alphabet letters by using only Boolean operations and concatenation. The complexity of these languages can be measured with the so-called dot-depth. This measure leads to concatenation hierarchies like

Externí odkaz: https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/238
https://nbn-resolving.org/urn:nbn:de:bvb:20-1179153
https://opus.bibliothek.uni-wuerzburg.de/files/238/glasser.pdf

Zobrazit plný text záznamu