0 Daumen
655 Aufrufe

Hallo Community,

eine Frage zu Myhill Nerode Relation

∑ = { a, b }

L =  { w aus ∑ * | w endet mit b }

Gebe vier Elemente aus der Myhill-Nerode-Relation ist [ab]L



Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

Hallo SeranInf:)


In [ab] sind alle Wörter, die auf b enden enthalten, also b, bb, aaab, abab,...

Wenn du dir dazu den Minimalautomat vorstellst (denn jeder Zustand entspricht einer Myhill-Nerode Klasse, kannst du ganz leicht die Elemente ablesen;))

Hier der minimale DEA:


Automat.PNG

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community