Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2572
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Kufleitner, Manfred | de |
dc.date.accessioned | 2006-02-10 | de |
dc.date.accessioned | 2016-03-31T07:58:34Z | - |
dc.date.available | 2006-02-10 | de |
dc.date.available | 2016-03-31T07:58:34Z | - |
dc.date.issued | 2006 | de |
dc.identifier.other | 260364126 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25400 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2589 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2572 | - |
dc.description.abstract | We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To this aim we give algebraic characterizations for the language operations of generating the polynomial closure and generating the unambiguous polynomial closure over traces. We also show that there exist natural fragments of local temporal logic that describe this class of languages corresponding to DA. All characterizations are known to hold for words. | en |
dc.language.iso | en | de |
dc.relation.ispartofseries | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2006,3 | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Spur <Informatik> , Temporale Logik | de |
dc.subject.ddc | 004 | de |
dc.subject.other | trace language , polynomial closure | en |
dc.title | Polynomials, fragments of temporal logic and the variety DA over traces | en |
dc.type | workingPaper | de |
dc.date.updated | 2013-07-08 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 2540 | de |
ubs.publikation.typ | Arbeitspapier | de |
ubs.schriftenreihe.name | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TR_2006_03.pdf | 172,45 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.