Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften

dc.contributor.author	Förster, Eric
dc.date.accessioned	2019-01-17T09:22:20Z
dc.date.available	2019-01-17T09:22:20Z
dc.date.issued	2018	de
dc.description.abstract	In der Mathematik werden häufig Gegenbeispiele genutzt, um eine Behauptung zu widerlegen. Wir werden uns in dieser Arbeit mit dem Auffinden solcher Beispiele im Bereich der endlichen Halbgruppentheorie beschäftigen. Dabei soll zu einer gegebenen Eigenschaft eine möglichst einfache Halbgruppe mit dieser Eigenschaft gefunden werden. Zur Lösung dieses Problems entwerfen wir in dieser Arbeit geeignete Suchverfahren und Heuristiken.	de
dc.identifier.other	516373102
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-102169	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/10216
dc.identifier.uri	http://dx.doi.org/10.18419/opus-10199
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.ddc	004	de
dc.title	Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften	de
dc.title.alternative	Automatic construction of counterexamples for algebraic and language-theoretic properties	en
dc.type	bachelorThesis	de
ubs.fakultaet	Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.publikation.seiten	iii, 29	de
ubs.publikation.typ	Abschlussarbeit (Bachelor)	de

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1