Übungen Reguläre Ausdrücke (12. + 14. 11.)

Determinieren, Minimieren

$$Id: detmin.tex,v 1.1 2003/11/12 09:56:19 joe Exp $$

• Determine-D-Quiz:
  • gegeben: (nichtdeterministischer) Automat $A$
  • gesucht: deterministischer Automat $A'$ mit $L(A)=L(A')$.
• Equiv-E-Quiz:
  • gegeben: deterministischer Automat $A$
  • gesucht: ein Liste $[ l_0, l_1, .. l_n ]$, wobei $l_k$ die Liste aller Tripel $(p, q, c) \in Q \times Q \times \Sigma$ ist, für die $p \sim_k q$, aber $T(p,c) \not\sim_k T(q,c)$. Die letzte Unter-Liste $l_n$ soll leer ( = [] ) sein.

Reguläre Ausdrücke in egrep

$$Id: egrep.tex,v 1.2 2003/11/12 15:22:16 joe Exp $$

Siehe man egrep, man regexp.

Beispiel: egrep '^[^ ]*$' foo.text

Aufgaben:

• Wie werden die aus der Vorlesung (bzw. autotool) bekannten Konstruktoren für reguläre Ausdrück hingeschrieben?
• Was bedeuten
  • [a-zA-Z0-1]
  • [^0-9]
• finden Sie in einem File alle Zeilen, die wenigstens einen Kleinbuchstaben enthalten.
• enthält die manpage von egrep eine Zeile, die mit einem Kleinbuchstaben beginnt? ( man egrep | egrep '...' )
• Matchen Sie alle Zeilen, die insgesamt wenigstens 3 Ziffern enthalten.

Reguäre Ausdrücke in sed

$$Id: sed.tex,v 1.1 2003/11/12 09:56:19 joe Exp $$

(sed = stream editor)

Aufgaben:

• Suchen und ersetzen, Beispiel: echo foo | sed -e 's/o/O/g' Was bewirkt das abschließende g?
• Schreiben Sie einen sed-Aufruf, der alle Zeilen-Kommentare (ab //) löscht. Hinweis: benutzen Sie nicht /, sondern z. b. + als sed-Trennzeichen.
• Bezugnahme auf frühere Matches. Was bedeutet das? sed -e 's/\([a-z]*\)/\1\1/g'

Reguläre Ausdrücke in der Bash

$$Id: bash.tex,v 1.2 2003/11/12 15:22:16 joe Exp $$

(bash = ``bourne again'' sh)

Bei Filenamen: ls foo/*x*/*.{tex,ps}

PS: Ansonsten nützlich:

• Zeilen-Editor (probieren Sie Cursor-rechts, Cursor-links, C-f, C-b, C-a, C-e, C-w, C-k C-y)
• Command-History (Cursor-hoch, Cursor-runter, C-p, C-n)
• inkrementelle Suche in Command-History (C-r und dann Suchstring)
• Prompt-Symbol (diese Zeile in .bashrc eintragen:)

  export PS1="\u@\h:\w\$ "
  

Reguläre Ausdrücke in Emacs

$$Id: emacs.tex,v 1.1 2003/11/12 09:56:19 joe Exp $$

M-x query-replace-regexp (Syntax wie in sed)

PS: Sonstiger Spaß mit Emacs:

• C-x r k (kill rectangle), C-x r y (yank rectangle)
• M-x hanoi
• M-x gomoku (5 in einer Reihe)
• M-x dunnet (Abenteuer! - Nicht trivial!)