• Keine Ergebnisse gefunden

Universit¨ at Siegen

N/A
N/A
Protected

Academic year: 2021

Aktie "Universit¨ at Siegen"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Logik II SS 2020

Ubungsblatt 5 ¨

Aufgabe 1

Beweisen oder widerlegen Sie!

(a) ( N , ≤) ist automatisch pr¨ asentierbar.

(b) Sei M ⊆ N (einstellige Relation), dann ist ( N , M ) automatisch pr¨ asentierbar.

(c) Wenn ( N , R

1

) und ( N , R

2

) automatisch pr¨ asentierbar sind, dann ist auch ( N , R

1

, R

2

) automatisch pr¨ asentierbar.

Hinweis: Wie viele automatisch pr¨ asentierbare Strukturen gibt es insgesamt? Wie viele nicht isomorphe Strukturen ( N , ≤, M ) f¨ ur M ⊆ N gibt es?

Aufgabe 2

Gegeben seien zwei abz¨ ahlbare lineare Ordnungen ohne kleinstes und ohne gr¨ oßtes Element.

Sind die Ordnungen isomorph?

1

Referenzen

ÄHNLICHE DOKUMENTE

[r]

[r]

[r]

(c) Geben Sie zu jeder Formel eine Struktur an, die kein Modell ist..

Wandeln Sie das Verfahren so um, dass der NDEA stattdessen einen einzigen Endzustand besitzt.. Verwenden Sie hierzu die bereits bekannten Funktionen empty, first, last

Formalisieren Sie Ihr Vorgehen in 1, indem Sie regul¨ are Ausdr¨ ucke und Priorit¨ aten f¨ ur die Tokenklassen angeben2. Geben Sie intuitiv den Scanner zu den regul¨ aren Ausdr¨

Aufgabe 2 Beweisen Sie die zwei Aussagen aus dem Skript auf Seite 99 zur Korrektheit des Algorithmus zum Auffinden nichtproduktiver Nichtterminale:.. • Falls A in der j -ten

• Entwerfen Sie regul¨ are Ausdr¨ ucke, die die g¨ ultigen Tokens der Pro- grammiersprache beschreiben, und geben Sie diesen Priorit¨ aten. • Geben Sie intuitiv