Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- formale Sprachen (http://www.informatikerboard.de/board/board.php?boardid=12)
----- Entwerfen Sie eine kontextfreie Grammatik für L (http://www.informatikerboard.de/board/thread.php?threadid=4005)
Geschrieben von motte90 am 04.09.2018 um 14:58:
Entwerfen Sie eine kontextfreie Grammatik für L
Servus
L = { w element { a, b, c }* : w = a^ib^jc^k ; i >= 1, j >= 1, k = i + j + 2 }
Meine Frage ist nun wie kann ich zwingend zu einem a ein c am Ende des Wortes generieren? Dazwischen ist ja noch ein B und mein Lösungsansatz hilft mir da nicht wirklich weiter.
Lösungsansatz:
G = <V, {a, b, c}, P, S>
P = { S -> ABcc
A -> aAc | ac, // wie kann ich hier das c an das Ende ran hängen?
B -> bBc | bc
}
Freundliche Grüße
motte90
Geschrieben von ed209 am 06.09.2018 um 15:49:
Wuerde es helfen die Bedingung
Zitat: |
L = { w element { a, b, c }* : w = a^ib^jc^k ; i >= 1, j >= 1, k = i + j + 2 }
|
so umzuschreiben, so dass die Gleichungen und Ungleichungen wegfallen?
Forensoftware: Burning Board, entwickelt von WoltLab GmbH