BuK/IIm19/Ausarbeitungen Lüpke/Brainstorming VL03 Luepke

Wiki-Quelltext dieser Seite.

<language>Python</language>
== Entscheidbarkeit und Aufzählbarkeit ==

ÜA zu Beispiel 1 und 2: 
$A^* = \{a, b\}^*$ und $M \subset A^* = \{ w \space | \space w \in A^* \space\text{und}\space |w| = 3 \}$.<br>
$M = \{aaa,aba,aab,baa,bab,abb,bba,bbb\}$

<code id="5e8da562c99f4">
A = ['a', 'b']
M = ['aaa','aba','aab','baa','bab','abb','bba','bbb']

def inM(w):
    return w in M
</code>

<run id="5e8da562c9a7e">
print(inM('not'))
print(inM('a'))
print(inM('aba'))
</run>