Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-9782
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Abdelaziz, Amir | - |
dc.date.accessioned | 2018-05-11T09:37:00Z | - |
dc.date.available | 2018-05-11T09:37:00Z | - |
dc.date.issued | 2015 | de |
dc.identifier.other | 505448513 | - |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-97998 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/9799 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-9782 | - |
dc.description.abstract | Das Separierbarkeitsproblem entspricht der Fragestellung ob für zwei Mengen X und Y ein sogenannter Separator S existiert mit X ⊆ S und Y ∩ S = ∅. Man sagt dann, dass S die Menge X von Y trennt. Formale Sprachen können durch prädikatenlogische Formeln definiert werden. Ein bekanntes Logikfragment der prädikatenlogischen Formeln ist Σ2 . Diese Diplomarbeit beschäftigt sich mit der Σ2 -Separierbarkeit von regulären Sprachen, d.h. mit der Entscheidbarkeit ob für zwei reguläre Sprachen L1 und L2 eine dritte Sprache S existiert die durch eine Formel in Σ2 definiert werden kann und L1 von L2 trennt. Grundlage dafür ist der Artikel Going Higher in the First-Order Quantifier Alternation Hierarchy on Words von Thomas Place und Marc Zeitoun. | de |
dc.language.iso | de | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 004 | de |
dc.title | Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung | de |
dc.title.alternative | Separation over finite words for one quantifier alternation | en |
dc.type | masterThesis | de |
ubs.fakultaet | Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.publikation.seiten | 24 | de |
ubs.publikation.typ | Abschlussarbeit (Diplom) | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Ausarbeitung.pdf | 410,62 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.