| Zeige Beiträge 1 bis 7 von 7 Treffern |
|
 Thema: Turing machine fuer palindrome |
|
|
Hallo ich muss eine implementation-level description fuer folgende Sprache entwerfen:
sigma = {a,b}
L { w | w is a palindrome }
Meine antwort:
(1) scan the left most non-crossed symbol and cross it. If none, accept
(2) scan the right most non-crossed occurence of the symbol crossed in (1) and cross it. If none, reject and stop.
(3) repeat (1).
ist das ein richtiger ansatz?
danke im voraus.
|
|
| Thema: Frage zu "complement" |
|
|
Hallo,
ich habe eine Frage zur "complement" operation.
Wenn ich folgende Sprache habe:
L = { w | w contains at least two b's and at most one a }
und ich sollte einen DFA fuer das complement entwerfen.
at least b's: |b| >= 2 und at most one a: |a| =< 1
ist das complement dazu:
|b| < 2 bzw. |a| > 1????
und statt einer intersection wird man eine union haben zwischen den 2 "mini-DFAs"?
danke im voraus.
|
|
| Thema: NFA fuer string |
|
|
hallo,
ich suche einen NFA fuer folgende sprache:
L = { w | w contains at least one a and at most one b }
Hab dazu folgende Loesung, passt diese?
|
|
| Thema: Beweis fuer minimal DFA |
|
|
Hallo,
ich habe eine Frage zum Beweisen, dass ein DFA die min. Anzahl von States hat.
Wie kann man das am einfachsten beweisen, wenn ich zB. folgenden DFA habe?
|
|
| Thema: DFA fuer substrings |
|
|
folgende loesungen sollten jetzt passen (hoffentlich 
).
fuer die 2. sprache hab ich 2 versionen, bin mir nicht sicher welche passt.
danke.
|
|
| Thema: DFA fuer substrings |
|
|
danke fuer den hinweis. habe nun folgende 2 loesungen.
(kann man diese vlt. noch vereinfachen oder passt das so?).
danke
|
|
| Thema: DFA fuer substrings |
|
|
Hallo,
ich hab folgendes Problem:
Sollte DFA fuer die Sprachen konstruieren:
sigma = {a,b}
L1 = { w | w does not contain the substring aab }
L2 = { w | contains the substr baba, that is, w = xbabay, for some strings x and y }
habe folgende DFAs konstruiert bin mir jedoch nicht sicher beim 2ten.
bitte um hinweise.
danke im vorraus.
|
|
|
| Zeige Beiträge 1 bis 7 von 7 Treffern |
|
|
|
